An Extended Time Petri Net with Condition Information
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.
Dongming Guo, Jun Wang, Zhenyuan Jia, Renke Kang, Hang Gao, and Xuyue Wang
D. M. Guo et al., "An Extended Time Petri Net with Condition Information", Materials Science Forum, Vols. 628-629, pp. 1-6, 2009