On Line Identification of Discrete Event Systems via Petri Nets: an Application to Monitor Specification.
Mariagrazia DotoliMaria Pia FantiAgostino Marcello ManginiPublished in: CASE (2007)
Keyphrases
- discrete event systems
- petri net
- colored petri nets
- state machines
- timed petri nets
- reactive systems
- sequence diagrams
- petri net model
- telecommunication networks
- complex systems
- model based diagnosis
- expert systems
- discrete event
- ims ld
- formal specification
- service composition
- dynamic systems
- power consumption
- multi agent
- stochastic petri net
- programmable logic controller