Login / Signup

The Diagnosability of Petri Net Models Using Minimal Explanations.

George JiroveanuRené K. Boel
Published in: IEEE Trans. Autom. Control. (2010)
Keyphrases
  • petri net
  • discrete event systems
  • stochastic petri net
  • complex systems
  • web service composition
  • petri net model
  • process model
  • manufacturing systems
  • ims ld
  • colored petri nets
  • generating explanations