Petri Nets and Dependability-Reference-Cited by-同舟云学术

Petri Nets and Dependability

Published:2004 Issue: Volume: Page:125-179
ISSN:0302-9743
Container-title:Lectures on Concurrency and Petri Nets
language:
Short-container-title:

Author:

Bernardi Simona,Bobbio Andrea,Donatelli Susanna

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-27755-2_4.pdf

Reference68 articles.

1. Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G.: Modelling with Generalized Stochastic Petri Nets. J. Wiley, Chichester (1995)

2. Lecture Notes in Computer Science;M. Ajmone Marsan,1998

3. Barlow, R.E., Proschan, F.: Statistical Theory of Reliability and Life Testing. Holt, Rinehart and Winston, New York (1975)

4. Bernardi, S.: Building Stochastic Petri Net models for the verification of complex software systems. PhD thesis, Dipartimento di Informatica, Università di Torino (April 2003)

5. Bernardi, S., Bertoncello, C., Donatelli, S., Franceschinis, G., Gaeta, G., Gribaudo, M., Horváth, A.: GreatSPN in the new millenium. Technical report. In Tools of Aachen 2001, International MultiConference on Measurement, Modelling and Evaluation of Computer-Communication System (2001)

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Assessment of the Availability of an Offshore Installation by Stochastic Petri Net Modeling;Communications - Scientific letters of the University of Zilina;2014-02-28

2. A System Dependability Modeling Framework Using AADL and GSPNs;Architecting Dependable Systems IV;2007

3. Parameterized GSPN Model and Extended Dependability Block Diagram for Reliability Evaluation of Embedded Systems;2006 IEEE International Conference on Systems, Man and Cybernetics;2006-10