Login / Signup
An Application of Independent, Increasing, Free-Choice Petri Nets to the Synthesis of Policies that Enforce Liveness in Arbitrary Petri Nets.
Ramavarapu S. Sreenivas
Published in:
Autom. (1998)
Keyphrases
</>
petri net
petri net model
high level petri nets
manufacturing systems
discrete event systems
ims ld
colored petri nets
process model
fuzzy petri net
service composition
state machines
stochastic petri net
concurrent systems
genetic algorithm
access control
programmable logic controller
decision making