-
1
-
-
33846674384
-
On Petri nets with deterministic and exponentially distributed firing time
-
M.A. Ajmone Marsan and G. Chiola. On Petri Nets with Deterministic and Exponentially Distributed Firing Time. LNCS 266:132-145, 1987.
-
(1987)
LNCS
, vol.266
, pp. 132-145
-
-
Ajmone Marsan, M.A.1
Chiola, G.2
-
2
-
-
0003652825
-
-
Series in Parallel Computing, Wiley
-
M.A. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli and G. Franchescinis. Modelling with Generalized Stochastic Petri Nets. Series in Parallel Computing, Wiley, 1995.
-
(1995)
Modelling with Generalized Stochastic Petri Nets
-
-
Ajmone Marsan, M.A.1
Balbo, G.2
Conte, G.3
Donatelli, S.4
Franchescinis, G.5
-
4
-
-
0027796306
-
SURF-2: A program for dependability evaluation of complex hardware and software systems
-
C. Béounes and al. SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems. Proc. 23rd. Int. Symp. on Fault-Tolerant Computing (FTCS-23), 668-673, 1993.
-
(1993)
Proc. 23rd. Int. Symp. on Fault-Tolerant Computing (FTCS-23)
, pp. 668-673
-
-
Béounes, C.1
-
6
-
-
0024882099
-
Alternative methods for incorporating non-exponential distributions into stochastic timed petri net
-
IEEE Computer Society Press:; December
-
P. Chen, S.C. Bruell and G. Balbo. Alternative Methods for Incorporating Non-Exponential Distributions into Stochastic Timed Petri Net. Proc. of the 3rd Int. Workshop on Petri Nets and Performance Models (PNPM'89), IEEE Computer Society Press: 187-197, December 1989.
-
(1989)
Proc. of the 3rd Int. Workshop on Petri Nets and Performance Models (PNPM'89)
, pp. 187-197
-
-
Chen, P.1
Bruell, S.C.2
Balbo, G.3
-
8
-
-
0000342110
-
A theory of implementation and refinement in timed petri net
-
M. Felder, A. Gargantini and A. Morzenti. A Theory of Implementation and Refinement in Timed Petri Net. Theoretical Computer Science, 202(1-2):127-161, 1998.
-
(1998)
Theoretical Computer Science
, vol.202
, Issue.1-2
, pp. 127-161
-
-
Felder, M.1
Gargantini, A.2
Morzenti, A.3
-
9
-
-
0002277390
-
Incremental approach for building stochastic petri nets for dependability modeling
-
(D.C. Ionescuand N. Limnios, Eds.):; Birkhäuser
-
N. Fota, M. Kâaniche and K. Kanoun. Incremental Approach for Building Stochastic Petri Nets for Dependability Modeling. Statistical and Probabilistic Models in Reliability (D.C. Ionescuand N. Limnios, Eds.): 321-335, Birkhäuser, 1999.
-
(1999)
Statistical and Probabilistic Models in Reliability
, pp. 321-335
-
-
Fota, N.1
Kâaniche, M.2
Kanoun, K.3
-
10
-
-
0032677411
-
Availability of CAUTRA, A subset of the French air traffic control system
-
May
-
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, 48(5):528-535, May 1999.
-
(1999)
IEEE Trans. on Computers
, vol.48
, Issue.5
, pp. 528-535
-
-
Kanoun, K.1
Borrel, M.2
Morteveille, T.3
Peytavin, A.4
-
12
-
-
0020795351
-
A method for stepwise refinement and abstraction of petri net
-
I. Suzuki and T. Murata. A Method for Stepwise Refinement and Abstraction of Petri Net. Journal of Computer and System Sciences, 27:51-76, 1983.
-
(1983)
Journal of Computer and System Sciences
, vol.27
, pp. 51-76
-
-
Suzuki, I.1
Murata, T.2
-
13
-
-
0002367242
-
Analysis of petri nets by stepwise refinement
-
February
-
R. Valette. Analysis of Petri Nets by Stepwise Refinement. Journal of Computer and System Sciences, 18(1):35-46, February 1979.
-
(1979)
Journal of Computer and System Sciences
, vol.18
, Issue.1
, pp. 35-46
-
-
Valette, R.1
|