| 带监督弧的扩展Petri网模型及其应用研究 |
| |
| 引用本文： | 利驿飞,王志强,郭宁.带监督弧的扩展Petri网模型及其应用研究[J].系统仿真学报,2011(Z1):295-300. |
| |
| 作者姓名： | 利驿飞 王志强 郭宁 |
| |
| 作者单位： | 深圳大学计算机与软件学院 |
| |
| 基金项目： | 深圳市科技计划项目(200741) |
| |
| 摘 要： | Petri网是对分布式系统进行分析和建模的图形化工具,它在系统出现并发、冲突和同步等现象时具有很强的描述模拟能力。提出了一种带监督弧的Petri网扩展模型,引入监督弧使复杂的Petri网模型变得简化,而且有利于Petri网模型的模块化设计。最后研究了带监督弧的Petri网应用并作了相应实验仿真,结果验证了监督弧的有效性。
|
| 关 键 词： | Petri网 监督弧 模型简化 模块化设计 |
Research of Extended Petri Nets Model with Supervisory Arc and Its Application |
| |
| LI Yi-fei,WANG Zhi-qiang,GUO Ning.Research of Extended Petri Nets Model with Supervisory Arc and Its Application[J].Journal of System Simulation,2011(Z1):295-300. |
| |
| Authors: | LI Yi-fei WANG Zhi-qiang GUO Ning |
| |
| Institution: | (School of Computer and Software,Shenzhen University,Shenzhen 518060,China) |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 等数据库收录！ |
|
