摘要
针对工厂用车间中的若干台机器加工某些部件等这一类业务处理问题,提出了用 Petri 网精细化操作解决问题的方案。定义了一种 PP-型子网,用这种子网分别对 Petri 网系统中的某些库所进行细化,得到更细致、更精确的Petri 网系统。研究了 Petri 网精细化操作的动态性质保持问题,给出这种精细化操作保持活性、有界性、可回复性和公平性的充要条件;本文的结果可为 Petri 网系统静态和动态性质的考察提供有效途径,为 Petri 网复杂大系统的分析提供重要手段,并特别适合于一类业务系统的描述和处理,具有一定的实用价值。
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 replace some places of the ordinary Petri net. Dynamic properties have been investigated. The sufficient and necessary conditions of liveness preservation, boundedness preservation, reversibility preservation and fairness preservation are presented. These results are useful for studying the static and dynamic properties of Petri nets,analyzing properties for large complex system. The refinement method is practical to use in reality.
出处
《计算机科学》
CSCD
北大核心
2006年第2期25-29,共5页
Computer Science
基金
国家自然科学基金(60073013)
国家重点基础研究发展规划(1998030416)
中国科学院管理
决策与信息系统开放实验室(MADIS)资助。