Modeling and verification of train safety comprehensive monitoring system using temporal Petri nets.
Yanhua DuLifeng AiChunhuang LiuPublished in: GrC (2005)
Keyphrases
- monitoring system
- petri net
- colored petri nets
- petri net model
- stochastic petri net
- concurrent systems
- discrete event systems
- safe operation
- field bus
- web services
- ims ld
- sequence diagrams
- service composition
- temporal information
- coal mine safety
- health monitoring
- heterogeneous wireless sensor networks
- state machines
- temporal constraints
- fuzzy petri net
- real time
- temporal databases
- patient safety
- concurrent processes
- computer systems