带监督弧的扩展Petri网模型及其应用研究  

Research of Extended Petri Nets Model with Supervisory Arc and Its Application

作　　者：利驿飞[1] 王志强[1] 郭宁[1] 

机构地区：[1]深圳大学计算机与软件学院,深圳518060

出　　处：《系统仿真学报》2011年第B07期295-300,共6页Journal of System Simulation

基　　金：深圳市科技计划项目(200741)

摘　　要：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.

关 键 词：PETRI网 监督弧 模型简化 模块化设计 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]