For the most recent entries see the
Petri Nets Newsletter.
Keyword: reliability
-
Guerin, Fabrice;
Barreau, Mihaela;
Morel, Jean-Yves;
Mihalache, Alin;
Dumon, Bernard;
Todoskoff, A.:
Reliability analysis for complex industrial real-time systems : application on an antilock brake system.
2002.
-
Chen, Ing-Ray;
Wang, Ding-Chau;
Chu, Chih-Ping:
Response time behavior of distributed voting algorithms for managing replicated data.
2000.
-
Ramesh, A.V.;
Twigg, D.W.;
Sandadi, U.R.;
Sharma, T.C.;
Trivedi, K.S.;
Somani, A.K.:
An integrated reliability modeling environment.
1999.
-
Heiner, Monika;
Deussen, P.:
A Case Study in Design and Validation of Reactive Systems by Means of Petri Nets.
1996.
-
Heiner, Monika;
Deussen, P.:
Petri Net Based Design and Analysis of Reactive Systems.
1996.
-
Muppala, J.K.;
Woolet, S.P.;
Trivedi, K.S.:
Real-Time Systems Performance in the Presence of Failures.
1991.
-
de Sa, P.;
Paiva, S.:
Design and Verification of Concurrent Switching Sequences with Petri Nets.
1990.
-
Oberweis, A.:
Modellierung und Validierung von Exception-Handling-Mechanismen für Realzeitsysteme.
1990.
-
Szczerbicka, H.:
Modellbildung von Rechnersystemen.
1990.
-
Bobbio, A.:
Petri Nets Generating Markov Reward Models for Performance/Reliability Analysis of Degradable Systems.
1989.
-
Islam, S.M.Rezaul;
Ammar, H.H.:
Performability of the Hypercube.
1989.
-
Jin, Q.;
Sugasawa, Y.;
Seya, K.:
Probabilistic Behavior and Reliability Analysis for a Multi-Robot System by Applying Petri Net and Markov Renewal Process Theory.
1989.
-
Johnson, A.M.:
Fault Modeling and Fault Contamination in Multiprocessor Systems.
1989.
-
Lopez-Benitez, N.;
Fortes, J.A.B.:
Detailed Modeling of Fault-Tolerant Processor Arrays.
1989.
-
Islam, S.M.R.;
Ammar, H.H.:
Performability of the Hypercube (Reliability).
1989.
-
Haverkort, B.R.;
Niemegeers, I.G.:
Theory of Describing Performability Models.
1988.
-
Mamikonov, A.G.;
Kulba, V.V.:
Synthesis of Optimal Modular Systems in Data Processing.
1986.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography