For the most recent entries see the
Petri Nets Newsletter.
Slovák, R.
-
Slovák, R.;
Drewes, J.;
Schnieder, E.:
Safety Requirements Parameter Derivation for Level Crossing Control Systems in Consideration of Traffic Dynamics using Stochastic Petri Nets.
2004.
-
Decknatel, Gebhard;
Slovák, Roman;
Schnieder, Eckehard:
Definition of a Type of Continuous-Discrete High-Level Petri Nets and Its Application to the Performance Analysis of Train Protection Systems.
2002.
-
Meyer zu Hörste, Michael;
Slovak, Roman;
Schnieder, Eckehard:
Modellierung und Simulation von Eisenbahnleit- und -sicherungssystemen auf der Basis generischer Funktionen.
2001.
-
Einer, S.;
Slovak, R.;
Schnieder, E.:
Modeling train control system with Petri nets - an operational specification.
2000.
-
Philippi, St.;
Pinl, Alexander;
Müller, J.R.;
Slovák, R.:
Towards tool support for the formally based analysis of safety-critical systems with Petri-Nets.
06.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography