机构地区: 深圳大学计算机与软件学院
出 处: 《系统仿真学报》 2011年第B07期295-300,共6页
摘 要: Petri网是对分布式系统进行分析和建模的图形化工具,它在系统出现并发、冲突和同步等现象时具有很强的描述模拟能力。提出了一种带监督弧的Petri网扩展模型,引入监督弧使复杂的Petri网模型变得简化,而且有利于Petri网模型的模块化设计。最后研究了带监督弧的Petri网应用并作了相应实验仿真,结果验证了监督弧的有效性。 Petri net is a graphic tool contributing to system analyzing and modeling.It has strong capability to describe concurrencies,conflicts and synchronizations of distributed system.A supervisory arc was proposed which could not only simplify the Petri nets,but also benefit modular design.Finally,the applications of Petri net with supervisory arc were proposed,and the experiment and simulation were carried out.Results show that the supervisory arc of Petri nets is effective.
领 域: [自动化与计算机技术] [自动化与计算机技术]