The Reachability Problem for Petri Nets Is Not Elementary.

Wojciech Czerwinski Slawomir Lasota Ranko Lazic Jérôme Leroux Filip Mazowiecki

Published in: J. ACM (2021)

Keyphrases

petri net
petri net model
manufacturing systems
colored petri nets
high level petri nets
discrete event systems
state space
state machines
ims ld
process model
service composition
artificial intelligence
sequence diagrams
fuzzy logic
fuzzy petri net
discrete dynamical systems
concurrent systems