KaydedilenlerDerginizi ekleyin

Dergiler / 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
Sayfa
749–764
Yayın Tarihi
2022-10-19
DOI
—
🏛️Bu makalenin bibliyografik verileri ve tam metin bağlantısı DergiPark üzerinden sağlanmıştır.
DergiPark Kaydı ↗
✨

Yapay Zeka Hızlı Bakış & Çıkarımlar

AI Insight
⚡ TL;DR(1 Cümlede Hızlı Çıkarım)

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 Maddede Bu Makale

🎯
Amaç & Hipotez:In this work, a novel graphical and mathematical model is introduced for Timed-Arc Petri Nets.
📊
Temel Bulgular & Veri:In this model, operation durations related to events are associated with arcs as firing durations.
💡
Sonuç & Katkı: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.
🔬Tür:Modelleme & Sayısal Simülasyon
📍Kapsam:Genişletilmiş Akademik Örneklem
⚙️Değişkenler:Alan Parametreleri

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.

🔖

Bu Makaleye Atıf Yap

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

📄 Tam Metin PDF Okuyucu

📄

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

Kaynakça (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