The Reachability Problem for Petri Nets is Not Primitive Recursive.

Jérôme Leroux

Published in: FOCS (2022)

Keyphrases

petri net
petri net model
manufacturing systems
discrete event systems
ims ld
high level petri nets
service composition
colored petri nets
fuzzy petri net
state space
stochastic petri net
state machines
concurrent systems
rough sets
human subjects
programmable logic controller