The reachability problem for Petri nets is not elementary.

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

Published in: STOC (2019)

Keyphrases

petri net
petri net model
high level petri nets
discrete event systems
manufacturing systems
state space
service composition
fuzzy petri net
process model
state machines
stochastic petri net
discrete dynamical systems
ims ld
concurrent systems
computer systems
programmable logic controller