For the most recent entries see the
Petri Nets Newsletter.
Keyword: reliability modeling
-
Hermanns, H.;
Katoen, J.-P.;
Meyer-Kayser, J.;
Siegle, M.:
Towards model checking stochastic process algebra.
2000.
-
Puliafito, A.;
Scarpa, M;
Trivedi, K.S.:
Petri nets with K-simultaneously enable generally distributed timed transitions.
1998.
-
Garrett, C.J.;
Guarro, S.B.;
Apostolakis, G.E.:
The dynamic flowgraph methodology for assessing the dependability of embedded software systems.
1995.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography