Petri Net Based Modeling and Property Analysis of Distributed Discrete Event System
Sonal Dahiya1, Sunita Kumawat2, Priti Singh4
1Sonal Dahiya*, Department of Electronics and Communication Engineering, Amity School of Engineering and Technology, Amity University Haryana, Gurgaon, India.
2Dr. Sunita Kumavat, Department of Applied Mathematics, Amity School of Applied Sciences, Amity University Haryana, Gurgaon, India.
3Dr. Priti Singh, Department of Electronics and Communication Engineering, Amity School of Engineering and Technology, Amity University Haryana, Gurgaon, India.
Manuscript received on September 18, 2019. | Revised Manuscript received on 26 September, 2019. | Manuscript published on October 10, 2019. | PP: 3887-3891 | Volume-8 Issue-12, October 2019. | Retrieval Number: L3392081219/2019©BEIESP | DOI: 10.35940/ijitee.L3392.1081219
Open Access | Ethics and Policies | Cite | Mendeley | Indexing and Abstracting
© The Authors. Blue Eyes Intelligence Engineering and Sciences Publication (BEIESP). This is an open access article under the CC-BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/)
Abstract: PetriNet is an imperative and handy language used for modeling and analysis of discrete event system (DES) i.e. a dynamic system that progress according to unexpected occurrence of events at probably unknown, asymmetrical interval of time. This concept provides an interface for analysis of behavioral and structural properties like liveness, boundedness and cover-ability tree of discrete event systems. These properties are not only necessary for proving the correctness of system model but also helpful in checking the deadlock conditions in a system. As a graph Petri Net is used for modeling and mathematically, it can be used for analysis of the system. In this paper, we have first modeled various DES like computation model and communication model using Petri Nets and then analyzed their properties using MATLAB. These DES models have applications in almost every domain of science and engineering.
Keywords: Petri Net, DES, PN Toolbox.
Scope of the Article: Discrete Optimization