Synthesis of Inhibitor-Reset Petri Nets: Algorithmic and Complexity Issues.

Raymond R. Devillers Ronny Tredup

Published in: Petri Nets (2022)

Keyphrases

petri net
petri net model
manufacturing systems
discrete event systems
colored petri nets
service composition
high level petri nets
state machines
stochastic petri net
fuzzy petri net
process model
ims ld
sequence diagrams