-
1
-
-
0024680939
-
The effect of execution policies on the semantics of stochastic Petri nets
-
M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, A. Cumani, The effect of execution policies on the semantics of stochastic Petri nets, IEEE Trans. Softw. Eng. 15 (1989) 832-845.
-
(1989)
IEEE Trans. Softw. Eng.
, vol.15
, pp. 832-845
-
-
Ajmone Marsan, M.1
Balbo, G.2
Bobbio, A.3
Chiola, G.4
Conte, G.5
Cumani, A.6
-
2
-
-
33846674384
-
On Petri nets with deterministic and exponentially distributed firing times
-
G. Rozenberg (Ed.), Lecture Notes in Computer Science 266, Springer, Berlin
-
M. Ajmone Marsan, G. Chiola, On Petri nets with deterministic and exponentially distributed firing times, in: G. Rozenberg (Ed.), Advances in Petri Nets 1987, Lecture Notes in Computer Science 266, Springer, Berlin, 1987, pp. 132-145.
-
(1987)
Advances in Petri Nets 1987
, pp. 132-145
-
-
Ajmone Marsan, M.1
Chiola, G.2
-
4
-
-
0442301059
-
Transient analysis of deterministic and stochastic Petri nets
-
M. Ajmone Marsan (Ed.), Lecture Notes in Computer Science 691, Springer, Berlin
-
H. Choi, V.G. Kulkarni, K.S. Trivedi, Transient analysis of deterministic and stochastic Petri nets, in: M. Ajmone Marsan (Ed.), Application and Theory of Petri Nets 1993, Lecture Notes in Computer Science 691, Springer, Berlin, 1993, pp. 166-185.
-
(1993)
Application and Theory of Petri Nets 1993
, pp. 166-185
-
-
Choi, H.1
Kulkarni, V.G.2
Trivedi, K.S.3
-
5
-
-
85041478543
-
Transient analysis of deterministic and stochastic Petri nets by the method of supplementary variables
-
Durham North Carolina
-
R. German, Transient analysis of deterministic and stochastic Petri nets by the method of supplementary variables, in: Proc. 3rd Int. Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Durham North Carolina, 1995, pp. 394-398.
-
(1995)
Proc. 3rd Int. Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
, pp. 394-398
-
-
German, R.1
-
6
-
-
0028422545
-
Analysis of stochastic Petri nets by the method of supplementary variables
-
Proc. Performance '93
-
R. German, C. Lindemann, Analysis of stochastic Petri nets by the method of supplementary variables, in: Proc. Performance '93, Performance Evaluation 20, Special Issue, (1994) 317-335.
-
(1994)
Performance Evaluation
, vol.20
, Issue.SPEC. ISSUE
, pp. 317-335
-
-
German, R.1
Lindemann, C.2
-
7
-
-
0001942843
-
Monotonicity in generalized semi-Markov processes
-
P. Glasserman, D.D. Yao, Monotonicity in generalized semi-Markov processes, Math. Oper. Res. 17 (1992) 1-21.
-
(1992)
Math. Oper. Res.
, vol.17
, pp. 1-21
-
-
Glasserman, P.1
Yao, D.D.2
-
8
-
-
0024478825
-
A GSMP formalism for discrete-event systems
-
P.W. Glynn, A GSMP formalism for discrete-event systems, Proc. IEEE 77 (1989) 14-23.
-
(1989)
Proc. IEEE
, vol.77
, pp. 14-23
-
-
Glynn, P.W.1
-
9
-
-
0021385426
-
The randomization technique as a modeling tool and solution procedure for transient Markov processes
-
D. Gross, D.R. Miller, The randomization technique as a modeling tool and solution procedure for transient Markov processes, Oper. Res. 32 (1984) 345-361.
-
(1984)
Oper. Res.
, vol.32
, pp. 345-361
-
-
Gross, D.1
Miller, D.R.2
-
10
-
-
0030644478
-
A fourth order algorithm with automatic step size control for the transient analysis of DSPNs
-
Saint Malo, France
-
A. Heindl, R. German, A fourth order algorithm with automatic step size control for the transient analysis of DSPNs, in: Proc. 7th Int. Workshop on Petri Nets and Performance Models, Saint Malo, France, 1997, pp. 60-69.
-
(1997)
Proc. 7th Int. Workshop on Petri Nets and Performance Models
, pp. 60-69
-
-
Heindl, A.1
German, R.2
-
11
-
-
0027627489
-
An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic petri net models
-
Ch. Lindemann, An improved numerical algorithm for calculating steady-state solutions of deterministic and stochastic petri net models, Performance Evaluation 18 (1993) 75-91.
-
(1993)
Performance Evaluation
, vol.18
, pp. 75-91
-
-
Lindemann, Ch.1
-
13
-
-
0030257420
-
Numerical analysis of deterministic and stochastic Petri nets with concurrent deterministic transitions
-
Proc. Performance '96
-
Ch. Lindemann, G.S. Shedler, Numerical analysis of deterministic and stochastic Petri nets with concurrent deterministic transitions, in: Proc. Performance '96, Performance Evaluation 27/28, Special Issue, (1996) 565-582.
-
(1996)
Performance Evaluation
, vol.27-28
, Issue.SPEC. ISSUE
, pp. 565-582
-
-
Lindemann, Ch.1
Shedler, G.S.2
-
14
-
-
0032597675
-
The DSPNexpress 2.000 performance and dependability modeling environment
-
Madison, WI, in press
-
Ch. Lindemann, A. Reuys, A. Thümmler, The DSPNexpress 2.000 performance and dependability modeling environment, in: Proc. 29th Int. Symp. on Fault-Tolerant Computing, Madison, WI, 1999 (in press).
-
(1999)
Proc. 29th Int. Symp. on Fault-Tolerant Computing
-
-
Lindemann, Ch.1
Reuys, A.2
Thümmler, A.3
-
15
-
-
0344507719
-
Time-dependent behavior of redundant systems with deterministic repair
-
W.J. Stewart (Ed.) Kluwer, Dordrecht
-
D. Logothetis, K.S. Trivedi, Time-dependent behavior of redundant systems with deterministic repair, in: W.J. Stewart (Ed.) Computations with Markov Chains, Kluwer, Dordrecht, 1995, pp. 135-150.
-
(1995)
Computations with Markov Chains
, pp. 135-150
-
-
Logothetis, D.1
Trivedi, K.S.2
|