Login / Signup
Synthesis of Structurally Simple Supervisors Enforcing Generalized Mutual Exclusion Constraints in Petri Nets.
ZhiWu Li
Mingming Yan
MengChu Zhou
Published in:
IEEE Trans. Syst. Man Cybern. Part C (2010)
Keyphrases
</>
mutual exclusion
petri net
long distance
temporal planning
petri net model
discrete event systems
manufacturing systems
colored petri nets
ims ld
stochastic petri net
state machines
workflow process
artificial intelligence
constraint programming
knowledge acquisition
rough sets
dynamic programming