Login / Signup

Two-Stage Method for Synthesizing Liveness-Enforcing Supervisors for Flexible Manufacturing Systems Using Petri Nets.

ZhiWu LiMengChu Zhou
Published in: IEEE Trans. Ind. Informatics (2006)
Keyphrases
  • petri net
  • petri net model
  • flexible manufacturing systems
  • stochastic petri net
  • mathematical model
  • low cost
  • manufacturing systems