Login / Signup
The Reachability Problem for Petri Nets is Not Primitive Recursive.
Jérôme Leroux
Published in:
CoRR (2021)
Keyphrases
</>
petri net
petri net model
manufacturing systems
discrete event systems
high level petri nets
colored petri nets
service composition
state space
ims ld
fuzzy petri net
state machines
discrete dynamical systems
stochastic petri net
neural network
sequence diagrams
concurrent systems
programmable logic controller