Login / Signup

Parameterized supervisor synthesis for a modular class of discrete event systems.

Belhassen ZouariKamel Barkaoui
Published in: SMC (2003)
Keyphrases
  • discrete event systems
  • petri net
  • model based diagnosis
  • complex systems
  • failure diagnosis
  • telecommunication networks
  • temporal constraints
  • discrete event
  • timed petri nets
  • modular structure