For the most recent entries see the
Petri Nets Newsletter.
Keyword: dependability analysis
Quantitative analysis of dependability of critical systems based on UML and statechart method.
Exploiting Petri nets to support fault tree based dependability analysis.
Reduction of the Markovian system by the influence graph method - error bound and reliability computation.
Safety analysis and evaluation of an air traffic control computing system.
Dependability modeling using Petri nets.
Composite performance-dependability analysis of cellular manufacturing systems.
Schoenfelder, Michael A.;
Rogers, William A.:
A Rainbow Net Simulator with a Dependability Application.
Dugan, Joanne Bechta;
Trivedi, Kishor S.:
Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography