Login / Signup

On Invariant-Based Monitors That Enforce Liveness in a Class of Partially Controlled General Petri Nets.

E. SalimiR. S. Sreenivas
Published in: IEEE Trans. Autom. Control. (2015)
Keyphrases
  • petri net
  • petri net model
  • discrete event systems
  • manufacturing systems
  • high level petri nets
  • colored petri nets
  • fuzzy petri net
  • data analysis
  • process model
  • ims ld
  • concurrent systems