An Extended Time Petri Net with Condition Information

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.

• Periodical: Materials Science Forum (Volumes 628-629)
• Pages: 1-6
• DOI: https://doi.org/10.4028/www.scientific.net/MSF.628-629.1
• Online since: August 2009
• Authors: Dong Ming Guo, C.L. Sun, H. Gao, L.H. Zou
• Keywords: Input Condition Set, Multitask Competition, Multitask Cooperation, Output Condition Set, Time Petri Net

References

[1] C. Girault and R. Valk: Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications (Springer-Verlag, Berlin 2003), pp.473-566.

[2] P. M. Merlin and D. J. Farber: IEEE Trans. on Communications Vol. 24(9) (1976), pp.1036-1043.

[3] W. M. P. van der Aalst: The Journal of Circuits, Systems and Computers Vol. 8(1) (1998), pp.21-66.

[4] H. A. Reijers: Design and Control of Workflow Processes (Springer-Verlag, Berlin 2003), pp.32-59.

[5] C. Ramchandani: Analysis of Asynchronous Concurrent Systems by Timed Petri Nets (Project MAC Technical Report MAC-TR-120, Massachusetts Institute of Technology, Cambridge MA, 1974).

[6] M. A. Holliday and M. K. Vernon: International Workshop on Timed Petri nets (Torino, Italy, July 1-3, 1985), pp.181-190.

[7] O. H. Roux and D. Lime: Time Petri nets with inhibitor hyperarcs: Formal semantics and state space computation. In: J. Cortadella, W. Reisig, eds. Proc. of the Int'l Conf. of Application and Theory of Petri Nets 2004 (Springer-Verlag, Berlin 2004), pp.371-390.

DOI: 10.1007/978-3-540-27793-4_21

[8] K. Jensen: Coloured Petri Nets-Basic Concepts, Analysis Methods and Practical Use, Vol. 1: Basic Concepts. EATCS Monographs on Theoretical Computer Science (Springer-Verlag, Berlin 1997), pp.1-234.

DOI: 10.1007/978-3-642-60794-3

[9] K. Jensen: Coloured Petri Nets-Basic Concepts, Analysis Methods and Practical Use, Vol. 2: Analysis Methods. EATCS Monographs on Theoretical Computer Science (Springer-Verlag, Berlin 1997).

DOI: 10.1007/978-3-662-03241-1_5

[10] Z. H. Wu: Introduction to Petri Net (China Machine Press, Beijing 2006), pp.215-220.

[11] X. M. Liu, S. X. Li, W. J. Li. and P. Li: Journal of Software Vol. 18 (1) (2007), pp.1-10.