A Mathematical Model Using Time Elements for Timed-Arc Petri Nets

Abstract

In this work, a novel graphical and mathematical model is introduced for Timed-Arc Petri Nets. In this model, operation durations related to events are associated with arcs as firing durations. Time elements are introduced on the arcs of the model for monitoring tokens in operation durations (firing durations) of firing processes (events). In the model, the status of the system is represented as states consisting of remaining time vector for indicating the status of time elements and marking vector for indicating the status of places' state information. This feature of states allows to obtain reachability set enhanced with the time information and the timed reachability graph of the system. In this work, behavioral properties of the proposed model are also defined. Moreover, via considering real world systems, behavioral properties are analyzed and performance of the model is compared with Stretched Petri Nets which is a recently proposed type of Timed Petri Nets.

Keywords

• Timed-Arc Petri Nets
• Time Element
• Behavioral Properties
• Stretched Petri nets

References

1. Cassandras, C., Lafortune, S., “Introduction to Discrete Event Systems (2nd Edition)”, New York, NY, Springer US (2008).
2. Zhou, MC., DiCesare, F., “Petri Net Synthesis for Discrete Event Control of Manufacturing Systems”, Springer US (1993).
3. Proth, JM., Xie, X., “Petri Nets a Tool for Design and Management of Manufacturing Systems”, Wiley (1996).
4. Ho, Y. (Ed.), “Discrete Event Dynamic Systems: Analyzing Complexity and Performance in The Modern World”, New York, NY, IEEE Press (1992).
5. Zuberek, W. M., Timed petri nets - definitions, properties, and applications”, Microelectronics and Reliability, 31(4): 627–644, (1991).
6. Bowden, F., “A brief survey and synthesis of the roles of time in petri nets”, Mathematical and Computer Modelling, 31:55–68, (2000).
7. Nielsen, M., Sassone, V., Srba, J, “Properties of distributed timed-arc petri nets”, Proceedings of the 21th International Conference on Foundations of Software Technology and Theoretical Computer Science, Bangalore, India, 2245:280–291, (2001).
8. Wang, J., “Time Petri Nets, Theory and Application”, Kluwer (1998).

9. Aybar, A., Iftar, A., “Deadlock avoidance controller design for timed Petri nets using stretching”, IEEE Systems Journal, 2(2):178–188, (2008).
10. Abdulla, P., Nylen, A., Timed petri nets and BQOs”, Proceedings of the 22th International Conference on Application and Theory of Petri Nets, Tyne, UK, 53–70, (2001).
11. Bolognesi, T., Lucidi, F., Trigila, S., “From timed petri nets to timed lotos”, Proceedings of the 10th International Symposium on Protocol Specification, Testing and Verification, Ottawa, Canada, 395–408, (1990).
12. Hanisch, H., “Analysis of place/transition nets with timed-arcs and its application to batch process control”, Proceedings of the 14th International Conference on Application and Theory of Petri Nets, Illinois, USA, 282–299, (1993).
13. Jacobsen, L., Jacobsen, M., Moller, M. H., Srba, J., “Verification of timed-arc Petri nets”, Proceedings of the 37th International Conference on Current Trends in Theory and Practice of Computer Science, Nov Smokovec, Slovakia, 6543, 46–72, (2011).
14. Walter, W., “Timed petri-nets for modelling and analyzing protocols with real-time characteristics”, Proceedings of the 3rd IFIP International Workshop on Protocol Specification, Testing and Verification, Ruschlikon, Switzerland, 149–159, (1983).
15. Bowden, F., “The modelling and analysis of command and control decision processes using extended time petri nets: Chapter 6 Super-Class (Ph.D. thesis)”, University of Adelaide, Australia, (2001).
16. Zhu, J., Denton, R., “Timed petri nets and their application to communication protocol specification”, Proceedings of the 21th International Conference on Century Military Communications - What's Possible?' Military Communications, CA, USA, 195–199, (1988).
17. Yufka, A., Ozkan, H. A., Aybar, A., “A formal method and novel graphical representation for deterministic timed-arc Petri nets”, Proceedings of the National Conference on Otomatik Kontrol Ulusal Toplantısı, Eskisehir, Turkey, 209 – 213, (2016).
18. Yufka, A., Ozkan, H. A., Aybar, A., “Timed arc Petri nets: The time-element approach”, Proceedings of the 10th International Conference on Electrical and Electronics Engineering, Bursa, Turkey, 794–798, (2017).
19. Yufka, A., Ozkan, H. A., Aybar, A., “Modeling basic components of railway systems using timed arc Petri nets”, Proceedings of the 5th International Conference on Control, Decision and Information Technologies, Thessaloniki, Greece, pp. 427–432, (2018).
20. Yufka, A., Ozkan, H. A., Aybar, A., “Timed arc Petri nets: The impulsive approach”, Proceedings of the 5th International Conference on Control, Decision and Information Technologies, Thessaloniki, Greece, 409–414, (2018).
21. Yufka, A., Ozkan, H. A., Aybar, A., “Reachability set algorithms for timed-arc Petri nets”, International Journal of Industrial Electronics and Electrical Engineering, 7(5):36-45, (2019).
22. Aybar, A., Iftar, A., “Supervisory controller design to enforce some basic properties in timed-transition petri nets using stretching”, Nonlinear Analysis: Hybrid Systems, 6:712–729, (2012).
23. Aybar, A., Iftar, A., “Supervisory Controller Design for Timed Petri nets”, Proceedings of the 1st International Conference on System of Systems Engineering, CA, USA, 59–64, (2006).
24. Aybar, A., Iftar, A., “Supervisory controller design to enforce some basic properties in timed petri nets”, Proceedings of the 13th IFAC International Symposium on Information Control Problems in Manufacturing, Moscow, Russia, 940–945, (2009).
25. Aybar, A., Iftar, A., “Representation of the state of timed-place petri nets using stretching”, Proceedings of the 4th IFAC International Workshop on Discrete-Event System Design, Gandia, Spain, 42(21):72–77, (2009).
26. Aybar, A., Iftar, A., “Supervisory controller design to enforce basic properties in timed-place petri nets”, Proceedings of the 6th IFAC International Conference on Management and Control of Production and Logistics, Fortaleza, Brazil, 46(24):486–492, (2013).
27. Yufka, A., “Timed-Arc Petri Nets Modeling and Forbidden State Control Approach: Chapter 7 Algorithms for Timed-Arc Petri Nets (Ph.D. thesis)”, Eskisehir Technical University, Turkey, (2019).
28. Aybar, A., Iftar, A., “Decentralized supervisory controller design to avoid deadlock in Petri nets”, International Journal of Control, 76(13):1285–1295, (2003).
29. Aybar, A., Iftar, A., Ozkan, H. A., “Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets”, International Journal of Control, 78(8):537–553, (2005).
30. Murata, T, “Petri Nets - Properties, Analysis and Applications”, Proceedings of the IEEE, 77(4):541 – 580, (1989).