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