Hits:

Indexed by:期刊论文

Date of Publication:2009-09-21

Journal:Materials Science Forum

Included Journals:EI、CPCI-S、Scopus

Volume:628 629

Page Number:1-6

ISSN No.:0878493123

Key Words:Time Petri Net; multitask cooperation and competition; input condition set; output condition set

Abstract: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.