【作者】 夏传良； 鞠彦兵；

【机构】 中国科学院数学与系统科学研究院计算机科学研究室； 北京理工大学管理与经济学院；

【摘要】 <正> 1 引言在日常生活中经常遇到多个企业或单位,共同租用或雇佣某个加工厂或中介机构为它们加工产品或提供服务的问题,以达到节省资源的目的。这类业务处理过程在日常生活中具有一定的普遍性。有必要对它进行分析和验证。研究具有异步、并发特征的离散事件系统时,Petri网已是人们的一种常用工具。本文就以Petri网作为建模一分析工具:先建立各个子模型,然后再进行共享子网合成得到系统整体模型。更多还原

【Abstract】 A scheme is obtained using synthesis of Petri nets shared subnet,according to process of several enterprises sharing a plant to produce some product. A kind of TT-type subnet is defined. The conditions of structural property preservation by shared TT-type subnet are obtained, such as structural boundedness, conservativeness, repeti-tiveness,consistency,fairness and structural liveness. The solutions are obtained for some process using some results in this paper. These results are useful for studying the static and dynamic properties of Petri synthesis nets and practical to use in reality.更多还原