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...

Full description

Bibliographic Details
Main Author: Reggie Davidrajuh
Format: Article
Published: IEEE 2020-01-01
Series:IEEE Access
Online Access:https://ieeexplore.ieee.org/document/9179742/