M. A. Ajmone-marsan and G. Chiola, On Petri Nets with Deterministic and Exponentially Distributed Firing Time, LNCS, vol.266, pp.132-145, 1987.

M. A. Ajmone-marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franchescinis, Modelling with Generalized Stochastic Petri Nets, Series in Parallel Computing, 1995.

C. Betous-almeida and K. Kanoun, Dependability Evaluation: From Functional to Structural Modelling, Proc. 20th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP 2001), vol.2187, pp.227-237, 2001.
URL : https://hal.archives-ouvertes.fr/hal-02007586

C. Béounes, SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems, Proc. 23rd. Int. Symp. on Fault-Tolerant Computing (FTCS-23), pp.668-673, 1993.

A. Bondavalli, I. Mura, and K. S. Trivedi, Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems, Proc. 3rd European Dependable Computing Conf. (EDCC-3), vol.1667, pp.7-23, 1999.

P. Chen, S. C. Bruell, and G. Balbo, Alternative Methods for Incorporating Non-Exponential Distributions into Stochastic Timed Petri Net, Proc. of the, p.3
DOI : 10.1109/pnpm.1989.68552

. Int, Workshop on Petri Nets and Performance Models (PNPM'89), pp.187-197, 1989.

D. R. Cox and H. D. Miller, The Theory of Stochastic Processes, 1965.

M. Felder, A. Gargantini, and A. Morzenti, A Theory of Implementation and Refinement in Timed Petri Net, Theoretical Computer Science, vol.202, issue.1-2, pp.127-161, 1998.

N. Fota, M. Kâaniche, and K. Kanoun, Incremental Approach for Building Stochastic Petri Nets for Dependability Modeling. Statistical and Probabilistic Models in, pp.321-335, 1999.
DOI : 10.1007/978-1-4612-1782-4_23

K. Kanoun, M. Borrel, T. Morteveille, and A. Peytavin, Availability of CAUTRA, a Subset of the French Air Traffic Control System, IEEE Trans. on Computers, vol.48, issue.5, pp.528-535, 1999.
URL : https://hal.archives-ouvertes.fr/hal-01977520

M. Rabah and K. Kanoun, Dependability Evaluation of a Distributed Shared Memory Multiprocessor System, Proc. 3rd European Dependable Computing Conf. (EDCC-3), vol.1667, pp.42-59, 1999.
URL : https://hal.archives-ouvertes.fr/hal-01986493

I. Suzuki and T. Murata, A Method for Stepwise Refinement and Abstraction of Petri Net, Journal of Computer and System Sciences, vol.27, pp.51-76, 1983.

R. Valette, Analysis of Petri Nets by Stepwise Refinement, Journal of Computer and System Sciences, vol.18, issue.1, pp.35-46, 1979.