The Complexity of Synthesizing sf nop-Equipped Boolean Petri Nets from g-Bounded Inputs.

Published in: Trans. Petri Nets Other Model. Concurr. (2021)

Keyphrases

petri net
petri net model
discrete event systems
manufacturing systems
high level petri nets
colored petri nets
process model
state machines
concurrent systems
fuzzy petri net
discrete dynamical systems
service composition
ims ld