Synthesis of Petri Net based Model of a Discrete Event Manufacturing System for Nonlinear Process Plan

Słota, Adam; Zając, Jerzy; Uthayakumar, M.

doi:10.1515/mper-2016-0018

Cited by 3 publications

(4 citation statements)

References 20 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…[26] focuses on analyzing traffic signal control of a network of intersections. Also, [27] uses transitions as interfaces for inter-modular communication.…”

Section: B Literature Reviewmentioning

confidence: 99%

Modular distributed models of production systems: a Petri nets based approach

Davidrajuh,

Krenczyk,

Skolud

2023

Bulletin of the Polish Academy of Sciences Technical Sciences

View full text Add to dashboard Cite

Modeling and simulation are key performance analysis and control techniques to optimize decision-making as well as design and operate complex production systems. They are also indicated as one of the technological pillars of modern industry and IT solutions supporting the implementation of the roadmap toward Industry 4.0 in the areas of digital transformation and automation. In the context of the required rapid transformation of today's enterprises, it becomes extremely important to look for solutions that allow the use of the existing infrastructure, information, and energy, so as to minimize the negative impact of new technologies and the transformation process itself on the environment. The article presents an approach to modeling large and complex production systems with the use of distributed Petri net models allowing the use of the possessed IT infrastructure as consistent with the idea of sustainable development in the activities of enterprises. This eliminates two major problems that render traditional models unusable. The first is related to the difficulties in analyzing and verifying models of enormous size and infinite space of states. The second is related to the required computing power, if such analyzes are to be performed on one computing unit, which would force the producers to replace the IT infrastructure. For this purpose, modular Petri nets are introduced. Other benefits of modularization, such as smaller components that can be independently analyzed, are also presented in the paper. The proposed modular Petri net has been implemented in the proprietary GPenSIM software. The paper is complemented by a practical example of industrial modeling of production systems with automated guided vehicles (AGVs) using the Modular Model with Intelligent Petri Modules.

show abstract

“…[26] focuses on analyzing traffic signal control of a network of intersections. Also, [27] uses transitions as interfaces for inter-modular communication.…”

Section: B Literature Reviewmentioning

confidence: 99%

Modular distributed models of production systems: a Petri nets based approach

Davidrajuh,

Krenczyk,

Skolud

2023

Bulletin of the Polish Academy of Sciences Technical Sciences

View full text Add to dashboard Cite

show abstract

“…Papers [17], [18] are on modeling national health system, and [19] is for modeling freight terminals. Paper [20] is for modeling traffic signals, and [21] used modular modeling of manufacturing systems. Finally, [22] presents a tool known as General-purpose Petri nets (GPenSIM).…”

Section: Literature Studymentioning

confidence: 99%

Extracting Petri Modules From Large and Legacy Petri Net Models

Davidrajuh

2020

IEEE Access

View full text Add to dashboard Cite

Petri nets, even though very useful for modeling of discrete event systems, suffer from some weaknesses such as huge size, huge state space, and slow in simulation. Due to the huge state space, model checking a Petri net is difficult. Also, due to the slowness in simulation, discrete-timed Petri nets cannot be used for real-time applications. Thus, modular Petri nets are suggested as a way of overcoming these difficulties. In modular Petri nets, modules are designed, developed, and run independently, and the modules communicate with each other via inter-modular connectors. This approach is suggested for developing newer Petri net models. However, there exists a large number of Petri net models of real-life systems, and these legacy models are enormous and non-modular. And, these models cannot be discarded as large amounts of time and money were spent to develop these models. This paper presents a unique algorithm for extracting modules from large and legacy Petri net models. The algorithm extracts modules (known as "Petri modules") that are well-defined for inter-modular collaboration. Also, the extraction method preserves the structural properties. The goal of the paper is to introduce a methodology by which Petri nets can be moved to a new level in which a modular Petri net model can be made of Petri modules. The Petri modules are independent and can be hosted on different computers. These modules communicate via inter-modular components such as TCP/IP sockets. Since Petri modules are compact, also run faster, thus become suitable for supervisory control of real-time systems.

show abstract

“…Ref. [30] tries to model non-linear process planning (NLPP) in manufacturing systems with a modular Petri net known as Object Observable Petri Net (OOPN). The approach presented in this paper uses three steps.…”

Section: Third-generation Work: Applications and Toolsmentioning

confidence: 99%

“…Ref. [30] uses transitions as the input and output ports for communication between the modules, and thus the communication of a module with the outside world is streamlined through the input and output ports. Though the approach presented in this work is straightforward, and the resulting modules are simple and elegant, the overall model becomes huge.…”

Section: Third-generation Work: Applications and Toolsmentioning

confidence: 99%

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

Davidrajuh

2019

Computers

View full text Add to dashboard Cite

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.

show abstract

Synthesis of Petri Net based Model of a Discrete Event Manufacturing System for Nonlinear Process Plan

Cited by 3 publications

References 20 publications

Modular distributed models of production systems: a Petri nets based approach

Modular distributed models of production systems: a Petri nets based approach

Extracting Petri Modules From Large and Legacy Petri Net Models

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

Contact Info

Product

Resources

About