Modeling train control systems with Petrinets-an operational specification.

Stefan Einer Roman Slovák Eckehard Schnieder

Published in: SMC (2000)

Keyphrases

control system
decision making
real time
information retrieval
database systems
modeling method
colored petri nets
e learning
case study
search algorithm
digital libraries
programming language
formal specification
specification language
provably correct