Modeling Production Systems as Modular Systems: A Petri Nets Based Approach

Reggie Davidrajuh; Damian Krenczyk; Bozena Skolud

doi:10.1007/978-3-030-99310-8_1

Modeling Production Systems as Modular Systems: A Petri Nets Based Approach

Reggie Davidrajuh
, Damian Krenczyk
, Bozena Skolud

Department of Engineering Processes Automation and Integrated Manufacturing Systems (RMT/RMT2)

University of Stavanger

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Citations (Scopus)

Abstract

Modern Production systems are large, and the mathematical models of these become huge. Hence, the models become useless as they are challenging to analyze and perform model verification. Moreover, some of these production systems are inherently discrete (e.g., discrete production systems), while others can be discretized (e.g., Robotics). Petri nets are useful for modeling discrete production systems. But the resulting Petri nets suffer from huge size and infinite state space. To eliminate huge size, modular Petri nets are proposed. This paper looks into a modular Petri net and uses it to model a production system (focusing on automatically guided vehicles). The scope of this paper is to show the benefits of modularization, e.g., smaller modular components that can be independently developed and analyzed. Also, the modular Petri net is implemented in software GPenSIM. Hence, real-life and industrial production systems (such as car manufacturing, smart microgrids) can be modeled and analyzed.

Original language	English
Title of host publication	Advances in Manufacturing III - Production Engineering
Subtitle of host publication	Research and Technology Innovations, Industry 4.0
Editors	Justyna Trojanowska, Agnieszka Kujawińska, Jose Machado, Ivan Pavlenko
Publisher	Springer Science and Business Media Deutschland GmbH
Pages	3-12
Number of pages	10
ISBN (Print)	9783030993092
DOIs	https://doi.org/10.1007/978-3-030-99310-8_1
Publication status	Published - 2022
Event	7th International Scientific-Technical Conference, MANUFACTURING 2022 - Poznan, Poland Duration: 16 May 2022 → 19 May 2022

Publication series

Name	Lecture Notes in Mechanical Engineering
ISSN (Print)	2195-4356
ISSN (Electronic)	2195-4364

Conference

Conference	7th International Scientific-Technical Conference, MANUFACTURING 2022
Country/Territory	Poland
City	Poznan
Period	16/05/22 → 19/05/22

UN SDGs

This output contributes to the following UN Sustainable Development Goals (SDGs)

SDG 9 Industry, Innovation, and Infrastructure

Keywords

GPenSIM
Modular models
Modular petri nets
Petri nets
Production systems

ASJC Scopus subject areas

Automotive Engineering
Aerospace Engineering
Mechanical Engineering
Fluid Flow and Transfer Processes

Access to Document

10.1007/978-3-030-99310-8_1

Cite this

Davidrajuh, R., Krenczyk, D., & Skolud, B. (2022). Modeling Production Systems as Modular Systems: A Petri Nets Based Approach. In J. Trojanowska, A. Kujawińska, J. Machado, & I. Pavlenko (Eds.), Advances in Manufacturing III - Production Engineering: Research and Technology Innovations, Industry 4.0 (pp. 3-12). (Lecture Notes in Mechanical Engineering). Springer Science and Business Media Deutschland GmbH. https://doi.org/10.1007/978-3-030-99310-8_1

Davidrajuh, Reggie ; Krenczyk, Damian ; Skolud, Bozena. / Modeling Production Systems as Modular Systems : A Petri Nets Based Approach. Advances in Manufacturing III - Production Engineering: Research and Technology Innovations, Industry 4.0. editor / Justyna Trojanowska ; Agnieszka Kujawińska ; Jose Machado ; Ivan Pavlenko. Springer Science and Business Media Deutschland GmbH, 2022. pp. 3-12 (Lecture Notes in Mechanical Engineering).

@inproceedings{8e8aca2cf24842b1a449b513776e3a5e,

title = "Modeling Production Systems as Modular Systems: A Petri Nets Based Approach",

abstract = "Modern Production systems are large, and the mathematical models of these become huge. Hence, the models become useless as they are challenging to analyze and perform model verification. Moreover, some of these production systems are inherently discrete (e.g., discrete production systems), while others can be discretized (e.g., Robotics). Petri nets are useful for modeling discrete production systems. But the resulting Petri nets suffer from huge size and infinite state space. To eliminate huge size, modular Petri nets are proposed. This paper looks into a modular Petri net and uses it to model a production system (focusing on automatically guided vehicles). The scope of this paper is to show the benefits of modularization, e.g., smaller modular components that can be independently developed and analyzed. Also, the modular Petri net is implemented in software GPenSIM. Hence, real-life and industrial production systems (such as car manufacturing, smart microgrids) can be modeled and analyzed.",

keywords = "GPenSIM, Modular models, Modular petri nets, Petri nets, Production systems",

author = "Reggie Davidrajuh and Damian Krenczyk and Bozena Skolud",

note = "Publisher Copyright: {\textcopyright} 2022, The Author(s), under exclusive license to Springer Nature Switzerland AG.; 7th International Scientific-Technical Conference, MANUFACTURING 2022 ; Conference date: 16-05-2022 Through 19-05-2022",

year = "2022",

doi = "10.1007/978-3-030-99310-8\_1",

language = "English",

isbn = "9783030993092",

series = "Lecture Notes in Mechanical Engineering",

publisher = "Springer Science and Business Media Deutschland GmbH",

pages = "3--12",

editor = "Justyna Trojanowska and Agnieszka Kujawi{\'n}ska and Jose Machado and Ivan Pavlenko",

booktitle = "Advances in Manufacturing III - Production Engineering",

address = "Germany",

}

Davidrajuh, R, Krenczyk, D & Skolud, B 2022, Modeling Production Systems as Modular Systems: A Petri Nets Based Approach. in J Trojanowska, A Kujawińska, J Machado & I Pavlenko (eds), Advances in Manufacturing III - Production Engineering: Research and Technology Innovations, Industry 4.0. Lecture Notes in Mechanical Engineering, Springer Science and Business Media Deutschland GmbH, pp. 3-12, 7th International Scientific-Technical Conference, MANUFACTURING 2022, Poznan, Poland, 16/05/22. https://doi.org/10.1007/978-3-030-99310-8_1

Modeling Production Systems as Modular Systems: A Petri Nets Based Approach. / Davidrajuh, Reggie; Krenczyk, Damian ; Skolud, Bozena.
Advances in Manufacturing III - Production Engineering: Research and Technology Innovations, Industry 4.0. ed. / Justyna Trojanowska; Agnieszka Kujawińska; Jose Machado; Ivan Pavlenko. Springer Science and Business Media Deutschland GmbH, 2022. p. 3-12 (Lecture Notes in Mechanical Engineering).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Modeling Production Systems as Modular Systems

T2 - 7th International Scientific-Technical Conference, MANUFACTURING 2022

AU - Davidrajuh, Reggie

AU - Krenczyk, Damian

AU - Skolud, Bozena

PY - 2022

Y1 - 2022

N2 - Modern Production systems are large, and the mathematical models of these become huge. Hence, the models become useless as they are challenging to analyze and perform model verification. Moreover, some of these production systems are inherently discrete (e.g., discrete production systems), while others can be discretized (e.g., Robotics). Petri nets are useful for modeling discrete production systems. But the resulting Petri nets suffer from huge size and infinite state space. To eliminate huge size, modular Petri nets are proposed. This paper looks into a modular Petri net and uses it to model a production system (focusing on automatically guided vehicles). The scope of this paper is to show the benefits of modularization, e.g., smaller modular components that can be independently developed and analyzed. Also, the modular Petri net is implemented in software GPenSIM. Hence, real-life and industrial production systems (such as car manufacturing, smart microgrids) can be modeled and analyzed.

AB - Modern Production systems are large, and the mathematical models of these become huge. Hence, the models become useless as they are challenging to analyze and perform model verification. Moreover, some of these production systems are inherently discrete (e.g., discrete production systems), while others can be discretized (e.g., Robotics). Petri nets are useful for modeling discrete production systems. But the resulting Petri nets suffer from huge size and infinite state space. To eliminate huge size, modular Petri nets are proposed. This paper looks into a modular Petri net and uses it to model a production system (focusing on automatically guided vehicles). The scope of this paper is to show the benefits of modularization, e.g., smaller modular components that can be independently developed and analyzed. Also, the modular Petri net is implemented in software GPenSIM. Hence, real-life and industrial production systems (such as car manufacturing, smart microgrids) can be modeled and analyzed.

KW - GPenSIM

KW - Modular models

KW - Modular petri nets

KW - Petri nets

KW - Production systems

UR - https://www.scopus.com/pages/publications/85127701576

U2 - 10.1007/978-3-030-99310-8_1

DO - 10.1007/978-3-030-99310-8_1

M3 - Conference contribution

AN - SCOPUS:85127701576

SN - 9783030993092

T3 - Lecture Notes in Mechanical Engineering

SP - 3

EP - 12

BT - Advances in Manufacturing III - Production Engineering

A2 - Trojanowska, Justyna

A2 - Kujawińska, Agnieszka

A2 - Machado, Jose

A2 - Pavlenko, Ivan

PB - Springer Science and Business Media Deutschland GmbH

Y2 - 16 May 2022 through 19 May 2022

ER -

Davidrajuh R, Krenczyk D , Skolud B. Modeling Production Systems as Modular Systems: A Petri Nets Based Approach. In Trojanowska J, Kujawińska A, Machado J, Pavlenko I, editors, Advances in Manufacturing III - Production Engineering: Research and Technology Innovations, Industry 4.0. Springer Science and Business Media Deutschland GmbH. 2022. p. 3-12. (Lecture Notes in Mechanical Engineering). doi: 10.1007/978-3-030-99310-8_1

Modeling Production Systems as Modular Systems: A Petri Nets Based Approach

Abstract

Publication series

Conference

UN SDGs

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this