Extracting Petri Modules From Large and Legacy Petri Net Models
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 net...
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2020-01-01
|
Series: | IEEE Access |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/9179742/ |
id |
doaj-483249753e7643f8832239e5ff6fd1b4 |
---|---|
record_format |
Article |
spelling |
doaj-483249753e7643f8832239e5ff6fd1b42021-03-30T01:58:24ZengIEEEIEEE Access2169-35362020-01-01815653915655610.1109/ACCESS.2020.30202139179742Extracting Petri Modules From Large and Legacy Petri Net ModelsReggie Davidrajuh0https://orcid.org/0000-0003-0013-5274Department of Electrical Engineering and Computer Science, University of Stavanger, Stavanger, NorwayPetri 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.https://ieeexplore.ieee.org/document/9179742/Modular Petri netsmodule extractionPetri moduleslegacy Petri nets |
collection |
DOAJ |
language |
English |
format |
Article |
sources |
DOAJ |
author |
Reggie Davidrajuh |
spellingShingle |
Reggie Davidrajuh Extracting Petri Modules From Large and Legacy Petri Net Models IEEE Access Modular Petri nets module extraction Petri modules legacy Petri nets |
author_facet |
Reggie Davidrajuh |
author_sort |
Reggie Davidrajuh |
title |
Extracting Petri Modules From Large and Legacy Petri Net Models |
title_short |
Extracting Petri Modules From Large and Legacy Petri Net Models |
title_full |
Extracting Petri Modules From Large and Legacy Petri Net Models |
title_fullStr |
Extracting Petri Modules From Large and Legacy Petri Net Models |
title_full_unstemmed |
Extracting Petri Modules From Large and Legacy Petri Net Models |
title_sort |
extracting petri modules from large and legacy petri net models |
publisher |
IEEE |
series |
IEEE Access |
issn |
2169-3536 |
publishDate |
2020-01-01 |
description |
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. |
topic |
Modular Petri nets module extraction Petri modules legacy Petri nets |
url |
https://ieeexplore.ieee.org/document/9179742/ |
work_keys_str_mv |
AT reggiedavidrajuh extractingpetrimodulesfromlargeandlegacypetrinetmodels |
_version_ |
1724186098899353600 |