Time Petri nets (TPNs) have been widely used for modeling discrete event systems such as manufacturing, supply chain, and military systems. However, TPNs still have many drawbacks in some scenarios where an operation or process is associated with probability, and also lack appropriate simulation algorithms for analyzing different types of systems. In this paper, we address these two issues by proposing a class of extended time Petri nets (ETPNs) and presenting an appropriate simulation algorithm. We illustrate and validate our approach using a hypothetic command and control system, which shows that this approach could be a powerful tool for modeling and analyzing discrete event systems.
PetriCA. Kommunikation mit Automaten. PhD Thesis, University of Bonn, Germany, 1962.
2.
PetersonJL. Petri net theory and the modeling of systems. Englewood Cliffs, NJ: Prentice-Hall, 1981.
3.
MurataT. Petri nets: properties, analysis and applications. Proc IEEE1989; 77: 541–580.
4.
CassandrasC. Discrete event systems: modeling and performance analysis. Homewood, IL: Richard D. Irwin, Inc., and Aksen Associates, Inc., 1993.
5.
HaasP. Stochastic Petri nets for modelling and simulation. In: Proceedings of the 2004 winter simulation conference (ed IngallsRGRossettiMDSmithJSet al.), Washington, DC, 5–8 December 2004, pp.101–112. Piscataway, NJ: IEEE.
6.
HeinerMGilbertDDonaldsonR. Petri nets for systems and synthetic biology. Lect Notes Comput Sci2008; 5016: 215–264.
7.
DavidRAllaH. Discrete, continuous and hybrid Petri nets. IEEE Trans Control Syst2008; 28(3): 81–84.
8.
MerlinPM. A study of the recoverability of computing systems. PhD Thesis, University of California, USA, 1974.
9.
ZhouM. Petri nets in flexible and agile automation. New York: Springer, 1995.
10.
BelwalCChengAMKWenY. Time Petri nets for schedulability analysis of the transactional event handlers of P-FRP. In: Proceedings of the 2012 ACM research in applied computation symposium, San Antonio, TX, 23–26 October 2012, pp.257–262. New York: ACM.
11.
LingSSchmidtH. Time Petri nets for workflow modelling and analysis. In: Proceedings of the IEEE international conference on systems, man, and cybernetics, Nashville, TN, 8–11 October 2000, pp.3039–3044. Piscataway, NJ: IEEE.
12.
ZhouTYuQHuangZ. Supply chain grid: optimizing SC coordination management based on time Petri nets. Adv Mech Eng Appl2012; 1: 64–69.
13.
WangJ. Timed Petri nets: theory and application. New York: Springer, 1998.
14.
BerthomieuFPVernadatF. Bridging the gap between timed automata and bounded time petri nets. Lect Notes Comput Sci2006; 4202: 82–97.
15.
BerthomieuBPeresFVernadatF. Model checking bounded prioritized time Petri nets. Lect Notes Comput Sci2007; 4762: 523–532.
16.
EvangivaldoALRicardoLLuisAK. Interval analysis of time Petri nets. In: Proceedings of the IMACS multiconference on computational engineering in systems applications, Beijing, China, 4–6 October 2006, pp.51–58. Piscataway, NJ: IEEE.
17.
DeclerckPBonhommeP. State estimation of timed labeled Petri nets with unobservable transitions. IEEE Trans Autom Sci Eng2014; 11: 103–110.
18.
PanLDingZZhouM. A configurable state class method for temporal analysis of time Petri nets. IEEE Trans Syst Man Cybern Part A Syst Humans2014; 44: 482–493.
19.
BucciGFedeliASassoliLet al. Timed state space analysis of real-time preemptive systems. IEEE Trans Software Eng2004; 30: 97–111.
20.
BensouissiSBenzinaAAbedMet al. Numerical method to simulate and to analyze Time Petri nets. In: Proceedings of the fourth international conference on logistics, Hammamet, Tunisia, 31 May 2011, pp.254–260. Piscataway, NJ: IEEE.
21.
ZhangHLiuFYangMet al. Simulation of colored time Petri nets. In: Proceedings of the IEEE international conference on information and automation, Yinchuan China, 26–28 August 2013, pp.637–642. Piscataway, NJ: IEEE.
22.
BerthomieuBDiazM. Modeling and verification of time dependent systems using time Petri nets. IEEE Trans Software Eng1991; 17: 259–273.
23.
HeinerMHerajyMLiuFet al. Snoopy – a unifying Petri net tool. Lect Notes Comput Sci2012; 7347: 398–407.
24.
ShattuckLDWoodsDD. Communication of intent in military command and control systems. In: McCannCPigeauR (eds) The human in command. Boston, MA: Springer, 2000, pp.279–291.
