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

Katedra Automatyzacji Procesów Technologicznych i Zintegrowanych Systemów Wytwarzania (RMT/RMT2)

University of Stavanger

Wyniki badań: Rozdział w książce/raport/materiał konferencyjny › Wkład w konferencję › recenzja

2 Cytowania z bazy Scopus

Abstrakt

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.

Język oryginału	angielski
Tytuł publikacji goszczącej	Advances in Manufacturing III - Production Engineering
Podtytuł publikacji goszczącej	Research and Technology Innovations, Industry 4.0
Redaktorzy	Justyna Trojanowska, Agnieszka Kujawińska, Jose Machado, Ivan Pavlenko
Wydawca	Springer Science and Business Media Deutschland GmbH
Strony	3-12
Liczba stron	10
ISBN (drukowany)	9783030993092
Identyfikatory DOI	https://doi.org/10.1007/978-3-030-99310-8_1
Status publikacji	Opublikowano - 2022
Wydarzenie	7th International Scientific-Technical Conference, MANUFACTURING 2022 - Poznan, Polska Czas trwania: 16 maj 2022 → 19 maj 2022

Seria publikacji

Nazwa	Lecture Notes in Mechanical Engineering
ISSN (drukowany)	2195-4356
ISSN (elektroniczny)	2195-4364

Konferencja

Konferencja	7th International Scientific-Technical Conference, MANUFACTURING 2022
Kraj/Terytorium	Polska
Miejscowość	Poznan
Okres	16/05/22 → 19/05/22

Cele SDG ONZ

Ten wynik przyczynia się do realizacji następujących celów zrównoważonego rozwoju

Cel 9 Przemysł, innowacje i infrastruktura

Obszary tematyczne ASJC Scopus

Inżynieria motoryzacyjna
Inżynieria lotnicza i kosmiczna
Inżynieria mechaniczna
Procesy przepływu i przenoszenia płynów

Uzyskaj dostęp do dokumentu

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

Inne pliki i linki

Link do publikacji w Scopus

Cytowanie

Davidrajuh, R., Krenczyk, D., & Skolud, B. (2022). Modeling Production Systems as Modular Systems: A Petri Nets Based Approach. W J. Trojanowska, A. Kujawińska, J. Machado, & I. Pavlenko (Red.), Advances in Manufacturing III - Production Engineering: Research and Technology Innovations, Industry 4.0 (str. 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. redaktor / Justyna Trojanowska ; Agnieszka Kujawińska ; Jose Machado ; Ivan Pavlenko. Springer Science and Business Media Deutschland GmbH, 2022. str. 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. w J Trojanowska, A Kujawińska, J Machado & I Pavlenko (red), 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, str. 3-12, 7th International Scientific-Technical Conference, MANUFACTURING 2022, Poznan, Polska, 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. red. / Justyna Trojanowska; Agnieszka Kujawińska; Jose Machado; Ivan Pavlenko. Springer Science and Business Media Deutschland GmbH, 2022. str. 3-12 (Lecture Notes in Mechanical Engineering).

Wyniki badań: Rozdział w książce/raport/materiał konferencyjny › Wkład w konferencję › recenzja

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. W Trojanowska J, Kujawińska A, Machado J, Pavlenko I, redaktorzy, Advances in Manufacturing III - Production Engineering: Research and Technology Innovations, Industry 4.0. Springer Science and Business Media Deutschland GmbH. 2022. str. 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

Abstrakt

Seria publikacji

Konferencja

Cele SDG ONZ

Obszary tematyczne ASJC Scopus

Uzyskaj dostęp do dokumentu

Inne pliki i linki

Fingerprint

Cytowanie