Activity regions for the specification of discrete event systems.
Alexandre MuzyLuc TourailleHans VangheluweOlivier MichelMamadou Kaba TraoréDavid R. C. HillPublished in: SpringSim (2010)
Keyphrases
- discrete event systems
- petri net
- model based diagnosis
- complex systems
- telecommunication networks
- timed petri nets
- discrete event
- failure diagnosis
- temporal constraints
- input image
- high level
- temporal ordering
- human activities
- dynamic systems
- simulation model
- formal specification
- region of interest
- image regions
- response time
- video sequences
- database systems