-
1
-
-
84958082611
-
Queueing Petri Nets - A formalism for the combined qualititative and quantitative analysis of systems
-
IEEE Press
-
F. Bause (1993) Queueing Petri Nets - a formalism for the combined qualititative and quantitative analysis of systems, PNPM'93, IEEE Press, pp. 14-23.
-
(1993)
PNPM'93
, pp. 14-23
-
-
Bause, F.1
-
2
-
-
0037722069
-
The state of the art in locally distributed web- Server systems
-
ACM
-
V. Cardellini, E. Casalicchio, M. Colajanni (2002) The State of the Art in Locally Distributed Web- Server Systems, ACM Computing Surveys, Vol.34, No.2, ACM, pp.263-311.
-
(2002)
ACM Computing Surveys
, vol.34
, Issue.2
, pp. 263-311
-
-
Cardellini, V.1
Casalicchio, E.2
Colajanni, M.3
-
5
-
-
34249933531
-
Coloured petri nets and CPN tools for modelling and validation of concurrent systems
-
K. Jensen, L.M. Kristensen, L. Wells, (2007) Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems, International Journal on Software Tools for Technology Transfer (STTT), Vol.9, Numbers 3-4, pp. 213-254.
-
(2007)
International Journal on Software Tools for Technology Transfer (STTT)
, vol.9
, Issue.3-4
, pp. 213-254
-
-
Jensen, K.1
Kristensen, L.M.2
Wells, L.3
-
7
-
-
33947178828
-
Performance modelling and evaluation of distributed component-based systems using queuing petri nets
-
IEEE
-
S. Kounev (2006) Performance Modelling and Evaluation of Distributed Component-Based Systems Using Queuing Petri Nets, IEEE Trans. on Soft. Eng., Vol 32. No.7, IEEE, pp. 486-502.
-
(2006)
IEEE Trans. on Soft. Eng.
, vol.32
, Issue.7
, pp. 486-502
-
-
Kounev, S.1
-
8
-
-
70450171678
-
Performance modeling and evaluation of large-scale J2EE applications
-
ACM, Dallas, Texas
-
S. Kounev, A. Buchmann, (2003) Performance Modeling and Evaluation of Large-Scale J2EE Applications, Proceedings of the 29th Int. Conf. of the Comp. Meas. Group on Res. Manag. and Perf. Eval. of Enterprise Comp. Syst., ACM, Dallas, Texas, pp. 486-502.
-
(2003)
Proceedings of the 29th Int. Conf. of the Comp. Meas. Group on Res. Manag. and Perf. Eval. of Enterprise Comp. Syst.
, pp. 486-502
-
-
Kounev, S.1
Buchmann, A.2
-
9
-
-
84896692772
-
The practitioner's guide to coloured petri nets
-
L. M. Kristensen, S. Christensen, K. Jensen, (1998) The Practitioner's Guide to Coloured Petri Nets International Journal on Software Tools for Technology Transfer, Vol.2, pp. 98-132.
-
(1998)
International Journal on Software Tools for Technology Transfer
, vol.2
, pp. 98-132
-
-
Kristensen, L.M.1
Christensen, S.2
Jensen, K.3
-
11
-
-
70349328966
-
Model of internet system client service
-
AGH Krakow
-
T. Rak (2003) Model of Internet System Client Service, Computer Science, AGH Krakow, Vol.5, pp. 55-65.
-
(2003)
Computer Science
, vol.5
, pp. 55-65
-
-
Rak, T.1
-
13
-
-
72149087777
-
Time properties of internet systems modeling using coloured petri nets
-
In Polish
-
S. Samolej, T. Rak (2005) Time Properties of Internet Systems Modeling Using Coloured Petri Nets, Real Time Systems WKL, pp. 91-100, (In Polish).
-
(2005)
Real Time Systems WKL
, pp. 91-100
-
-
Samolej, S.1
Rak, T.2
-
14
-
-
72149102529
-
Time constraints modeling and verification using timed colored petri nets
-
Elsevier
-
S. Samolej, T. Szmuc (2005) Time Constraints Modeling And Verification Using Timed Colored Petri Nets, Real-Time Programming 2004, Elsevier, pp. 127-132.
-
(2005)
Real-Time Programming
, vol.2004
, pp. 127-132
-
-
Samolej, S.1
Szmuc, T.2
-
15
-
-
72149132128
-
TCPN-based tool for timing constraints modelling and validation
-
IOS Press
-
S. Samolej, T. Szmuc (2005) TCPN-Based Tool for Timing Constraints Modelling and Validation, Software Engineering, Evolution and Emerging Technologies, Volume 130, IOS Press, pp. 194-205.
-
(2005)
Software Engineering, Evolution and Emerging Technologies
, vol.130
, pp. 194-205
-
-
Samolej, S.1
Szmuc, T.2
-
16
-
-
72149106892
-
Coloured petri netsbased WWW cluster modeling and development method
-
WKL, Warszawa, (In Polish)
-
S. Samolej, T. Szmuc (2008) Coloured Petri Netsbased WWW Cluster Modeling and Development Method, Inzynieria oprogramowania-od teorii do praktyki, WKL, Warszawa, pp. 49-59 (In Polish).
-
(2008)
Inzynieria Oprogramowania-od Teorii Do Praktyki
, pp. 49-59
-
-
Samolej, S.1
Szmuc, T.2
-
17
-
-
0035693915
-
CSIM19: A powerfull tool for bilding system models
-
IEEE
-
H. Schwetman (2001) CSIM19: A Powerfull Tool for Bilding System Models, Proceedings Winter Simulation Conference, IEEE, pp. 250-255.
-
(2001)
Proceedings Winter Simulation Conference
, pp. 250-255
-
-
Schwetman, H.1
|