基于Petri网的异步并发系统建模方法及应用研究

摘要：

从Petri网的角度,异步并发是指两个或多个事件没有因果关系及由因果关系产生的顺序,与是否同时或是否有统一的时间控制没有关系.异步并发系统具有对称性、自返性而不具备传递性.其建模过程涉及到变迁发生的条件、结果以及是否存在冲突、冲撞等问题.用异步并发系统的建模方法改进Linux系统的队列数据结构,用Visobjnet++软件进行模拟,并编程测试,得到了比原结构更高的效率.

关键词：Petri网、异步并发系统、Linux、改进队列、建模

所属期刊栏目：27

分类号：TP301.6(计算技术、计算机技术)

资助基金：湖南省教育厅科研项目02C088

在线出版日期：2006-04-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：973-975