点击次数：

论文类型：期刊论文

发表时间：2009-09-21

发表刊物：Materials Science Forum

收录刊物：EI、CPCI-S、Scopus

卷号：628 629

页面范围：1-6

ISSN号：0878493123

关键字：Time Petri Net; multitask cooperation and competition; input condition set; output condition set

摘要：An extended Time Petri Net with condition information (ECTPN) is presented in this paper including two new attributes associated to place and transition that respectively represent input condition set and output condition set. Using the model can achieve multitask cooperation and competition and let token be able to select next transaction path according to inner information. Firstly, the Time Petri Net is introduced, and then a formal semantic meaning for ECTPN in terms of input and output items is defined. Finally, we give the denotation of ECTPN. Application shows that the ECTPN validate by using business modeling.© (2009) Trans Tech Publications, Switzerland.