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

摘要

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