For the most recent entries see the
Petri Nets Newsletter.
Modellierung und Verifikation eines Checkpoint-Restart-Verfahrens.
Baumgarten, B.;
Ochsenschläger, P.
Gesellschaft für Math. und Datenverarbeitung mbH Bonn, Arbeitspapiere der GMD Nr. 115,
November 1984.
In German.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography