Exploiting Petri nets to support fault tree based dependability analysis

Proceedings - 8th International Workshop on Petri Nets and Performance Models, PNPM 1999

Volumn , Issue , 1999, Pages 146-155

  Bobbio, Andrea ^a   Franceschinis, Giuliana ^a   Gaeta, Rossano ^b   Portinale, Luigi ^a  

^a UNIVERSITY OF EASTERN PIEDMONT   (Italy)

^b UNIVERSITY OF TURIN   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

PETRI NETS; STOCHASTIC SYSTEMS;

COMPUTATIONAL SAVINGS; CONVERSION ALGORITHM; DEPENDABILITY ANALYSIS; GENERALIZED STOCHASTIC PETRI NETS; MULTI PROCESSOR SYSTEMS; QUALITATIVE ANALYSIS; STATE-SPACE EXPLOSION; STOCHASTIC WELL-FORMED NETS;

FAULT TREE ANALYSIS;

EID: 0012436119     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PNPM.1999.796561     Document Type: Conference Paper

References (19)

1. E.J. Henley, H. Kumamoto. Reliability Engineering and Risk Assessment Prentice Hall, 1981.
2. N.G. Leveson. Safeware: System Safety and Computers Addison-Wesley, 1995.
3. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. Wiley Series in Parallel Computing, 1995.
4. G.S. Hura, J.W. Atwood. The Use of Petri Nets to Analyze Coherent Fault Trees. IEEE Transactions on Reliability, R- 37:469-474, 1988.
5. M. Malhotra and K. Trivedi. Dependability modeling using Petri nets. IEEE Transactions on Reliability, R-44:428-440, 1995.
6. R. Sahner, K.S. Trivedi, and A. Puliafito. Performance and Reliability Analysis of Computer Systems: An Example-based Approach Using the SHARPE Software Package. Kluwer Academic Publisher, 1996.
7. G. Peterka and T. Murata. Proof procedure and answer extraction in Petri net model of logic programs. IEEE Transactions on Software Engineering, 15(2):209-217, 1989.
8. L. Portinale. Exploiting T-invariant analysis in diagnostic reasoning on a Petri net model. In Proc. 14th Int. Conf. on Application and Theory of Petri Nets, LNCS 691, pp. 339-356. Springer Verlag, Chicago, 1993.
9. D. Zhang and T. Murata. Fixpoint semantics for Petri net model of definite clause logic programs. Technical Report UIC-EECS-87-2, University of Illinois at Chicago, 1987.
10. S.A. Doyle, J. Bechta Dugan, A. Patterson-Hine. A combinatorial approach to modeling imperfect coverage. IEEE Transactions on Reliability, R-44:87-94, 1995.
11. R. Manian, D.W. Coppit, K.J. Sullivan, J.B. Dugan. Bridging the gap between systems and dynamic fault tree models. In Proc. of IEEE Annual Reliability and Maintainability Symposium, pp. 105-111, 1999.
12. G. Szabó, P. Gáspár. Practical treatment methods for adaptive components in the fault tree analysis. In Proc. of IEEE Annual Reliability and Maintainability Symposium, pp. 97-104, 1999.
13. G. Chiola and G. Franceschinis. A structural colour simplification in Well-Formed coloured nets. In Proc. 4th Intern. Workshop on Petri Nets and Performance Models, pp. 144-153, Melbourne, Australia, December 1991. IEEE-CS Press.
14. G. Chiola, G. Franceschinis, R. Gaeta, M. Ribaudo, "Great- SPN 1.7: GRaphical Editor and Analyzer for Timed and Stochastic Petri Nets", Performance Evaluation, Vol. 24, n. 1, 2, November 1995, pp. 47-68.
15. M. Ajmone Marsan, S. Donatelli, G. Franceschinis, F. Neri, Reductions in Generalized Stochastic Petri Nets and Stochastic Well-formed Nets: An Overview and an Example of Application Network Performance Modeling and Simulation, J. Walrand, K. Bagchi and G. Zobrist (editors), 1997.
16. G. Chiola, C. Dutheillet, G. Franceschinis, and S. Haddad. Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Transactions on Computers, 42(11), November 1993.
17. J.M. Couvreur. The general computation of flows for coloured nets. In Proc. 11th Intern. Conference on Application and Theory of Petri Nets, Paris, France, June 1990.
18. J.M. Couvreur, S. Haddad, and J.F. Peyre. Resolution parametree d'une famille de systemes d'equations lineaires a solutions positives. Technical Report 90-38, Université Paris 6, 4 Place Jussieu, 75252 Paris Cedex 05, France, September 1990. IBP Tech. Report (in French).
19. S. Haddad and J.M. Couvreur. Towards a general and powerful computation of flows for parametrized coloured nets. In Proc. 9th Europ. Workshop on Application and Theory of Petri Nets, Venezia, Italy, June 1988.