SavedAdd your journal

Journals / Gazi University Journal of Science / 2020 / Cilt: 33 - Sayı: 4

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

Aydin AYBAR
Hanife Apaydin OZKAN
Alpaslan YUFKA
Pages
749–764
Publication Date
2022-10-19
DOI
—
🏛️Bibliographic metadata and full text access for this article are provided via DergiPark.
DergiPark Record ↗
✨

AI Summary & Key Takeaways

AI Insight
⚡ TL;DR(Too Long; Didn't Read)

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.

📌 3 Key Takeaways

🎯
Objective & Hypothesis:In this work, a novel graphical and mathematical model is introduced for Timed-Arc Petri Nets.
📊
Key Findings & Data:In this model, operation durations related to events are associated with arcs as firing durations.
💡
Conclusion & Impact: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.
🔬Design:Modeling & Simulation
📍Scope:Comprehensive Sample
⚙️Variables:Domain Parameters

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.

🔖

Cite This Article

AYBAR, A., OZKAN, H. A., YUFKA, A. (2022). A Mathematical Model Using Time Elements for Timed-Arc Petri Nets. Gazi University Journal of Science, Cilt: 33 - Sayı: 4, 749–764. https://ajindex.com/articles/521275

📄 Full Text PDF Viewer

📄

PDF görüntüleyici hazırlanıyor...

References (16)

  1. Cassandras, C., Lafortune, S., “Introduction to discrete event systems (second edition)”, Springer US, (2008)
  2. Zhou, M.C., DiCesare, F., “Petri net synthesis for discrete event control of manufacturing systems”, Springer US, (1993)
  3. Proth, J.M., Xie, X., “Petri nets a tool for design and management of manufacturing systems”, Wiley, (1996)
  4. Ho, Y. (Editor), “Discrete event dynamic systems: analyzing complexity and performance in the modern world”, 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, 2245: 280–291, (2001)
  8. Akshay, S., Helouet, L., Phawade, R., “Combining free choice and time in Petri nets”, Journal of Logical and Algebraic Methods in Programming, 110: 1-29, (2020)
  9. Capkovic, F., “Modeling and control of discrete-event systems with partial non-determinism using Petri nets”, Acta Polytechnica Hungarica, 17(4): 47-66, (2020)
  10. Lefebvre, D., Daoui, C., “Control design for bounded partially controlled TPNs using timed extended reachability graphs and MDP”, IEEE Transactions on Systems, Man, and Cybernetics: Systems, 50(6): 2273-2283, (2020)
  11. Li, L., Basile, F., Li, Z.W., “A reduced computation of state space to enforce GMECs and deadlockfreeness on TPN systems”, Proceedings of the 15th IFAC International Workshop on Discrete Event System, (2020)
  12. Wang, J., “Time Petri nets, theory and application”, Kluwer, (1998)
  13. Aybar, A., Iftar, A., “Deadlock avoidance controller design for timed Petri nets using stretching”, IEEE Systems Journal, 2(2): 178-188, (2008)
  14. Abdulla, P., Nylen, A., “Timed petri nets and BQOs”, Proceedings of the 22th International Conference on Application and Theory of Petri Nets, 53-70, (2001)
  15. 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, 395–408, (1990)
  16. Hanisch, H., “Analysis of place/transition nets with timed-arcs and its application to batch process control”, Proceedings of the 14th Int