Login / Signup

On Deciding the Existence of a Liveness Enforcing Supervisory Policy in a Class of Partially Controlled General Free-Choice Petri Nets.

N. SomnathR. S. Sreenivas
Published in: IEEE Trans Autom. Sci. Eng. (2013)
Keyphrases
  • petri net
  • discrete event systems
  • petri net model
  • manufacturing systems
  • colored petri nets
  • service composition
  • fuzzy petri net
  • fuzzy logic
  • complex systems
  • dynamic systems