Login / Signup
Deciding structural liveness of Petri nets.
Petr Jancar
Published in:
CoRR (2016)
Keyphrases
</>
petri net
manufacturing systems
discrete event systems
petri net model
service composition
colored petri nets
state machines
fuzzy petri net
high level petri nets
stochastic petri net
concurrent systems
discrete dynamical systems
process model
temporal logic