Petri网的PP型子网精细化操作性质分析及应用

计算机科学 ›› 2006, Vol. 33 ›› Issue (2): 25-29.

Petri网的PP型子网精细化操作性质分析及应用

夏传良

中国科学院数学与系统科学研究院计算机科学研究室,北京100080

出版日期:2018-11-17 发布日期:2018-11-17
基金资助:
国家自然科学基金（60073013）,国家重点基础研究发展规划（1998030416）和中国科学院管理、决策与信息系统开放实验室（MAUIS）资助.

XIA Chuann-Liang （Department of Computer Science, Academy of Mathematics and System Sciences, The Chinese Academy of Sciences, Beijing 100080）

Online:2018-11-17 Published:2018-11-17

摘要/Abstract

摘要： 针对工厂用车间中的若干台机器加工某些部件等这一类业务处理问题，提出了用Petri网精细化操作解决问题的方案。定义了一种PP型子网，用这种子网分别对Petri网系统中的某些库所进行细化，得到更细致、更精确的Petri网系统。研究了Petri网精细化操作的动态性质保持问题，给出这种精细化操作保持活性、有界性、可回复性和公平性的充要条件；本文的结果可为Petri网系统静态和动态性质的考察提供有效途径，为Petri网复杂大系统的分析提供重要手段，并特别适合于一类业务系统的描述和处理，具有一定的实用价值。

关键词: Petri网精细化操作活性有界性可回复性公平性

Abstract: A scheme is obtained using a kind of Petri net refinement,according to process of some factory using several machines of a workshop to produce some parts. A PP type subnet is defined. A refinement Petri net is obtained through using the kind of subnet to

Key words: Petri nets, Refinement, Liveness, Boundedness, Reversibility, Fairness

夏传良. Petri网的PP型子网精细化操作性质分析及应用[J]. 计算机科学, 2006, 33(2): 25-29. https://doi.org/

XIA Chuann-Liang （Department of Computer Science, Academy of Mathematics and System Sciences, The Chinese Academy of Sciences, Beijing 100080）. [J]. Computer Science, 2006, 33(2): 25-29. https://doi.org/

参考文献

Metrics

Viewed

Full text

Abstract

Cited

Shared

Discussed