On the Topological Complexity of omega-Languages of Non-Deterministic Petri Nets.

Olivier Finkel Michal Skrzypczak

Published in: CoRR (2014)

Keyphrases

petri net
manufacturing systems
colored petri nets
high level petri nets
discrete event systems
fuzzy petri net
petri net model
stochastic petri net
service composition
concurrent systems
process model
state machines
discrete dynamical systems
control system
ims ld