Hardness Results for the Synthesis of b-bounded Petri Nets.

Published in: Petri Nets (2019)

Keyphrases

petri net
petri net model
discrete event systems
high level petri nets
manufacturing systems
fuzzy petri net
ims ld
state machines
colored petri nets
service composition
np hard
np complete
discrete dynamical systems
artificial intelligence
stochastic petri net