Component-based light-rail modeling in discrete event systems specification (DEVS).
Yilin HuangMamadou D. SeckAlexander VerbraeckPublished in: Simul. (2015)
Keyphrases
- discrete event systems
- discrete event
- petri net
- colored petri nets
- complex systems
- simulation model
- dynamic systems
- failure diagnosis
- timed petri nets
- telecommunication networks
- dynamical systems
- high speed
- high level
- mathematical modeling
- user defined
- special case
- database systems
- formal specification
- temporal information
- cost effective
- data model
- database