Formal Modelling and Simulation of Train Control Systems Using Petri Nets.
Michael Meyer zu HörsteEckehard SchniederPublished in: World Congress on Formal Methods (1999)
Keyphrases
- petri net
- colored petri nets
- control system
- discrete event systems
- petri net model
- fuzzy petri net
- manufacturing systems
- service composition
- reactive systems
- ims ld
- simulation model
- stochastic petri net
- state machines
- formal methods
- programmable logic controller
- knowledge base
- sequence diagrams
- control algorithm
- closed loop
- process model
- low cost
- computational intelligence
- discrete dynamical systems
- data analysis