| Petri网精细化操作及其在系统建模中的应用 |
| |
| 引用本文： | 夏传良,陆维明.Petri网精细化操作及其在系统建模中的应用[J].系统仿真学报,2006,18(8):2070-2077. |
| |
| 作者姓名： | 夏传良 陆维明 |
| |
| 作者单位： | 1. 山东建筑大学,计算机学院,济南,250101;中国科学院,数学与系统科学研究院,计算机科学研究室,北京,100080
2. 中国科学院,数学与系统科学研究院,计算机科学研究室,北京,100080 |
| |
| 摘 要： | 为了解决“顾客投诉”等这一类业务处理问题,提出了用Petri网精细化操作解决问题的方案。用Petri网为系统建模。定义了两种子网,用这两种子网分别对Petri网中的的某些变迁或库所进行细化,得到更细致、更精确的Petri网。研究了Petri网精细化操作的性质保持问题,给出了这两种精细化操作保持状态机(SM)、标识图(MG)、自由选择网(FC)、非对称选择网(AC)、结构有界性、守恒性、可重复性、相容性和活性的充分条件。结果可为复杂大系统的分析提供重要手段,并特别适合于一类业务系统的描述和验证,具有一定的实用价值。
|
| 关 键 词： | Petri网 精细化操作 结构有界性 活性 系统建模 |
| 文章编号： | 1004-731X（2006）08-2070-08 |
| 收稿时间： | 2005-06-14 |
| 修稿时间： | 2005-11-28 |
Petri Nets Refinements and Its Application in System Modeling |
| |
| XIA Chuan-liang,LU Wei-Ming.Petri Nets Refinements and Its Application in System Modeling[J].Journal of System Simulation,2006,18(8):2070-2077. |
| |
| Authors: | XIA Chuan-liang LU Wei-Ming |
| |
| Institution: | 1 .School of Computer Science and Technology, Shandong Jianzhu university, Jinan 250101, China; 2. Department of Computer Science, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Beijing 100080, China |
| |
| Abstract: | |
| |
| Keywords: | Petri nets refinement structural boundedness liveness system modeling |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
