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: | Reggie Davidrajuh |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2020-01-01
|
Series: | IEEE Access |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/9179742/ |
Similar Items
-
A New Modular Petri Net for Modeling Large Discrete-Event Systems: A Proposal Based on the Literature Study
by: Reggie Davidrajuh
Published: (2019-11-01) -
Logic Petri Net Synthesis for Cooperative Systems
by: Wenjing Luan, et al.
Published: (2019-01-01) -
Petri nets and their applications
by: Jin, Wei
Published: (2011) -
Composition of Logical Petri Nets and Compatibility Analysis
by: Wenjing Luan, et al.
Published: (2017-01-01) -
Existence of Forbidden Digraphs for Crisp Boolean Petri Nets
by: Gajendra Pratap Singh, et al.
Published: (2020-02-01)