For the most recent entries see the
Petri Nets Newsletter.
Keyword: safety-critical systems
-
Heiner, M.;
Heisel, M.:
Modeling safety-critical systems with Z and Petri nets.
1999.
-
Bodennec, C.;
Jourdain, C.;
Mazuet, C.;
Garnier, R.;
Perez, D.:
Dependability of safety critical systems: complementarity of probabilistic and formal methods.
1998.
-
Florin, G.;
Fraize, C.;
Natkin, S.:
Searching Best Paths to Worst States.
1991.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography