Keyword: controlled petri nets

• Sreenivas, R.S.:
  On supervisory policies that enforce liveness in a class of completely controlled Petri nets obtained via refinement. 1999.

• Uzam, M.; Jones, A.H.; Yucel, I.:
  A rule-based methodology for supervisory control of discrete event systems modeled as automation Petri nets. 1999.

• Cho, Y.C.; Kwon, W.H.:
  On forbidden state problems in a general class of non-ordinary controlled Petri nets. 1998.

Back to the Petri Nets Bibliography