Login / Signup

The formal description of discrete-event systems using positively constructed formulas.

Artem DavydovAleksandr LarionovNadezhda V. Nagul
Published in: MIPRO (2017)
Keyphrases
  • discrete event systems
  • petri net
  • model based diagnosis
  • complex systems
  • telecommunication networks
  • discrete event
  • timed petri nets
  • failure diagnosis
  • databases
  • particle filter
  • contextual information