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