For the most recent entries see the
Petri Nets Newsletter.
Keyword: safety analysis
-
Buchacker, K.:
Modeling with extended fault trees.
2000.
-
Fota, N.;
Kaaniche, M.;
Kanoun, K.:
Dependability evaluation of an air traffic control computing system.
1999.
-
Cho, S.M.;
Hing, H.S.;
Cha, S.D.:
Safety analysis using colored Petri nets.
1996.
-
Bucci, G.;
Campanai, M.;
Nesi, P.:
Tools for specifying real-time systems.
1995.
-
Gill, J.A.:
Safety Analysis of Heterogeneous-Multiprocessor Control System Software.
1990.
-
Gill, J.A.:
Safety Analysis of Heterogeneous-Multiprocessor Control System Software.
1990.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography