Next Article in Journal
Statistical-Hypothesis-Aided Tests for Epilepsy Classification
Previous Article in Journal
Smart Health and Safety Equipment Monitoring System for Distributed Workplaces
Open AccessArticle

A New Modular Petri Net for Modeling Large Discrete-Event Systems: A Proposal Based on the Literature Study

Electrical & Computer Engineering, University of Stavanger, 4036 Stavanger, Norway
Computers 2019, 8(4), 83; https://doi.org/10.3390/computers8040083
Received: 25 October 2019 / Revised: 11 November 2019 / Accepted: 12 November 2019 / Published: 15 November 2019
Petri net is a highly useful tool for modeling of discrete-event systems. However, Petri net models of real-life systems are enormous, and their state-spaces are usually of infinite size. Thus, performing analysis on the model becomes difficult. Hence, slicing of Petri Net is suggested to reduce the size of the Petri nets. However, the existing slicing algorithms are ineffective for real-world systems. Therefore, there is a need for alternative methodologies for slicing that are effective for Petri net models of large real-life systems. This paper proposes a new Modular Petri Net as a solution. In modular Petri net, large Petri net models are decomposed into modules. These modules are compact, and the state spaces of these modules are also compact enough to be exhaustively analyzed. The research contributions of this paper are the following: Firstly, an exhaustive literature study is done on Modular Petri Nets. Secondly, from the conclusions drawn from the literature study, a new Petri net is proposed that supports module composition with clearly defined syntax. Thirdly, the new Petri net is implemented in the software GPenSIM, which is crucial so that real-life discrete-event systems could be modeled, analyzed, and performance-optimized with GPenSIM. View Full-Text
Keywords: Modular Petri Net; discrete-event simulation; GPenSIM Modular Petri Net; discrete-event simulation; GPenSIM
Show Figures

Figure 1

MDPI and ACS Style

Davidrajuh, R. A New Modular Petri Net for Modeling Large Discrete-Event Systems: A Proposal Based on the Literature Study. Computers 2019, 8, 83.

Show more citation formats Show less citations formats
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.

Article Access Map by Country/Region

1
Back to TopTop