Login / Signup
The Semilinear Home-Space Problem Is Ackermann-Complete for Petri Nets.
Petr Jancar
Jérôme Leroux
Published in:
CONCUR (2023)
Keyphrases
</>
petri net
discrete event systems
colored petri nets
petri net model
manufacturing systems
fuzzy petri net
high level petri nets
service composition
state machines
process model
ims ld
stochastic petri net
discrete dynamical systems
programmable logic controller
sequence diagrams
concurrent systems