On Petri Nets with Deterministic and Exponentially Distributed Firing Time, LNCS, vol.266, pp.132-145, 1987. ,
Modelling with Generalized Stochastic Petri Nets, Series in Parallel Computing, 1995. ,
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
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. ,
Dependability Modelling and Sensitivity Analysis of Scheduled Maintenance Systems, Proc. 3rd European Dependable Computing Conf. (EDCC-3), vol.1667, pp.7-23, 1999. ,
Alternative Methods for Incorporating Non-Exponential Distributions into Stochastic Timed Petri Net, Proc. of the, p.3 ,
DOI : 10.1109/pnpm.1989.68552
Workshop on Petri Nets and Performance Models (PNPM'89), pp.187-197, 1989. ,
The Theory of Stochastic Processes, 1965. ,
A Theory of Implementation and Refinement in Timed Petri Net, Theoretical Computer Science, vol.202, issue.1-2, pp.127-161, 1998. ,
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
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
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
A Method for Stepwise Refinement and Abstraction of Petri Net, Journal of Computer and System Sciences, vol.27, pp.51-76, 1983. ,
Analysis of Petri Nets by Stepwise Refinement, Journal of Computer and System Sciences, vol.18, issue.1, pp.35-46, 1979. ,