Modeling train control systems with Petri nets-a functional reference-architecture.
Michael Meyer zu HörsteEckehard SchniederPublished in: SMC (2000)
Keyphrases
- petri net
- colored petri nets
- reference architecture
- stochastic petri net
- control system
- discrete event systems
- web services
- petri net model
- modeling language
- sequence diagrams
- fuzzy petri net
- ims ld
- software architecture
- service composition
- execution environment
- load balancing
- data processing
- concurrent processes
- real time
- programmable logic controller