The Reachability Problem for Petri Nets is Not Primitive Recursive.

Jérôme Leroux

Published in: FOCS (2021)

Keyphrases

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