KMS Of Academy of mathematics and systems sciences, CAS
| Petri网精细化操作及其在系统建模中的应用 | |
| 夏传良1; 陆维明2 | |
| 2006 | |
| Source Publication | 系统仿真学报
 |
| ISSN | 1004-731X |
| Volume | 018Issue:008Pages:2070 |
| Abstract | 为了解决“顾客投诉”等这一类业务处理问题，提出了用Pelri网精细化操作解决问意的方案．用Petri网为系统建模。定义了两种子网，用这两种子网分别对Petri网中的的某些变迁或库所进行细化，得到更细致、更精确的Petri网。研究了Petri网精细化操作的性质保持问题，给出了这两种精细化操作保持状态机（SM）、标识图（MG）、自由选择网（FC）、非对称选择网（AC）、结构有界胜、守恒性、可重复胜、相容陛和活性的充分条件。结果可为复杂大系统的分析提供重要手段，并特别适合于一类业务系统的描述和验证，具有一定的实用价值。 |
| Language | 英语 |
| Document Type | 期刊论文 |
| Identifier | http://ir.amss.ac.cn/handle/2S8OKBNM/49187 |
| Collection | 中国科学院数学与系统科学研究院 |
| Affiliation | 1.山东建筑大学 2.中国科学院数学与系统科学研究院 |
| Recommended Citation GB/T 7714 | 夏传良,陆维明. Petri网精细化操作及其在系统建模中的应用[J]. 系统仿真学报,2006,018(008):2070. |
| APA | 夏传良,&陆维明.(2006).Petri网精细化操作及其在系统建模中的应用.系统仿真学报,018(008),2070. |
| MLA | 夏传良,et al."Petri网精细化操作及其在系统建模中的应用".系统仿真学报 018.008(2006):2070. |
| Files in This Item: | There are no files associated with this item. | |||||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment