【作者】 夏传良；

【Author】 Chuanliang Xia (Department of Computer science,Academy of Mathematics and System Sciences, The Chinese Academy of Sciences,Beijing,100080)

【机构】 中国科学院数学与系统科学研究院计算机科学研究室；

【摘要】 针对企业用加工厂或车间加工某种产品等这一类业务处理问题,提出了用Petri网精细化操作解决问题的方案。定义了一种T-型子网,给出这种精细化操作保持活性、有界性和可回复性的充要条件;本文的结果可为Petri网系统静态和动态性质的考察提供有效途径,为Petri网复杂大系统的分析提供重要手段,并特别适合于一类业务系统的描述和处理,具有一定的实用价值。更多还原

【Abstract】 A scheme is obtained using a kind of Petri net refinement, according to process of some enterprise using a plant or workshop to produce some product. A T-type subnet is defined. The sufficient and necessary conditions of liveness preservation, boundedness preservation and reversibility preservation are presented. These results are useful for studying the static and dynamic properties of Petri nets, analysing properties for large complex system. The refinement method is practical to use in reality.更多还原