Improved Ackermannian Lower Bound for the Petri Nets Reachability Problem.

Slawomir Lasota

Published in: STACS (2022)

Keyphrases

petri net
lower bound
upper bound
petri net model
discrete event systems
manufacturing systems
service composition
colored petri nets
high level petri nets
fuzzy petri net
state machines
ims ld
concurrent systems
state space
objective function
sequence diagrams
process model