KaydedilenlerDerginizi ekleyin

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

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

Alpaslan YUFKA
Hanife APAYDIN ÖZKAN
Aydin AYBAR
Sayfa
749–764
Yayın Tarihi
2020-12-01
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:Timed-Arc Petri Nets · Time Element · Behavioral Properties

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

YUFKA, A., ÖZKAN, H. A., AYBAR, A. (2020). 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/254420

📄 Tam Metin PDF Okuyucu

📄

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

Kaynakça (15)

  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 Adelaid