For the most recent entries see the
Petri Nets Newsletter.
Keyword: train control systems
-
Aoumeur, N.;
Saake, G.:
Specifying and validating train control systems using an appropriate component-based Petri net tool.
2000.
-
Einer, S.;
Schieder, E.:
A Petri net based modeling approach for operating methods in train control systems.
2000.
-
Einer, S.;
Slovak, R.;
Schnieder, E.:
Modeling train control system with Petri nets - an operational specification.
2000.
-
Meyer zu Hörste, M.;
Ptok, B.;
Schnieder, E.;
Schrom, H.:
A case study for the automated system development: the satellite-based train control system.
2000.
-
Meyer zu Hörste, M.;
Schnieder, E.:
Modeling train control systems with petri nets - a functional reference architecture.
2000.
-
Padberg, J.;
Gajewsky, M.:
Rule-based refinement of Petri nets for modeling train control systems.
2000.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography