R Jain.The Art of Computer Systems Performance Analysis[M].New York:J Wiley,1991.500-580.
[2]
C M Woodside,J E Neilson,D C Petriu,S Majumdar.The stochastic rendezvous network model for performance of synchronous client-server-like distributed software[J].IEEE Transactions on Computer,1995,44(1):20-34.
[3]
U Herzog,J Rolia.Performance validation tools for software/hardware systems[A].Performance Evaluation[C].Berlin,Heidelberg:Springer,2001.
[4]
P Tran-Gia.Analytische Leistungsbewertung Verteilter Systeme[M].German:Springer,1996.
[5]
Kishor S Trivedi.Probability and Statistics with Reliability,Queuing,and Computer Science Applications[M].New Jersey:Prentice-Hall,1982.
[6]
W J Stewart.Numerical analysis methods[A].G Haring,Ch Lindemann,M Reiser.Performance Evaluation[C].Berlin,Heidelberg:Springer,2000.355-376.
[7]
G Ciardo.Distributed and structured analysis approaches to study large and complex systems[A].E Brinksma,H Hermanns,J P Katoen.Lectures on Formal Methods and Performance Analysis[C].New York,Berlin,Heidelberg:Springer,2000.344-374.
[8]
C Cassandras.Discrete Event Systems:Modeling and Performance Analysis[M].Irwin Inc and Aksen Associates,Inc,1993.
[9]
Raj Jain.The Art of Computer Systems Performance Analysis[M].New York:J Wiley,1991.
M Ajmone Marsan,G Balbo,G Conte.A class of generalized stochastic Petri nets for the performances analysis of multiprocessor systems[J].ACM Transactions on Computer Systems,1984,2(2):93-122.
[13]
W H Sanders,J F Meyer.Reduced-base model construction for stochastic activity networks[J].IEEE Journal on Selected Areas in Communications,1991,9(1):25-36.
[14]
J B Dugan,K S Trivedi,R M Geist,V F Nicola.Extended stochastic Petri nets:Applications and analysis[A].Proc Performance''84[C].Amsterdam:Elsevier,1984.507-519.
[15]
Y Wang.Real-time behaviour of asynchronous agents[A].J C M Baeten,J-W Klop.Concur''90:Theories of Concurrency-Unification and Extension[C].1990,LNCS 458.502-520.
[16]
S Schneider.An operational semantics for timed CSP[J].Inf & Comp,1995,116:193-213.
[17]
L Leonard,G Leduc.An introduction to ET-LOTOS for the description of time sensitive systems[J].Comp.Netw.& ISDN Sys,1997,29(3):271-292.
G Clark,S Gilmore,J Hillston,N Thomas.Experiences with the PEPA performance modeling tools[J].Software,IEE Proceedings,1999,146(1):11-19.
[20]
H Hermanns,M Lohrey.Priority and maximal progress are completely aximatisable[A].D Sangiorgi,R de Simone.CONCUR''98 Concurrency Theory,Lecture Notes in Computer Science,vol.1446[C].Berlin:Springer,1998.237-252.
[21]
R German.Performance Analysis of Communication Systems:Modeling with Non-Markovian Stochastic Petri Nets[M].John Wiley and Sons,2000.
[22]
Walter Willinger,Ramesh Govindan,Sugih Jamin,Vern Paxson,Scott Shenker.Scaling phenomena in the Internet:Critically examining criticality[J].2002,PNAS 2002 99 Suppl.1:2573-2580.
[23]
D Ferrari,G Serazzi,A zeigner.Measurement and Tuning of Computer Systems[M].Prentice Hall,Inc,Englewood Cliffs,1983.79-103.
[24]
R Klar,P Dauphin,F Hartleb,R Hofmann,B Mohr,A Quick,M Siegle.Messung und Modellierung Paraller und Verteilter Rechensystem[M].Teubner,1995.
[25]
林闯.随机Petri网模型的精化设计[J].软件学报,2000,11(1):104-109.
[26]
H Kobayashi.Modeling and Analysis-An Introduction to System Performance Evaluation Methodology[M].London:Addison-Wesley,1978.
[27]
J A Rolia,K C Sercik.The methods of layers[J].IEEE Transactions on Software Engineering,1995,21(8):689-700.
[28]
H Kobayashi.Modeling and Analysis-An Introduction to System Performance Evaluation Methodology[M].London:Addison-Wesley,1978.
[29]
D Gross,C M harris.Fundamentals of Queuing Theory[M].New York:John Wiley & Sons,1985.
[30]
G Bolch,S Grener,H de Meer,K S Trivedi.Queuing Networks and Markov Chains[M].NewYork:John Wiley & Sons,1998.
[31]
Law A M,W D Kelton.Simulation Modeling and Analysis(Third Edition)[M].Boston:McGraw-Hill,2002.400-410.
[32]
Fishwick P A.Simulation Model Design and Execution:Building Digital Worlds[M].New Jersey:Prentice Hall,1995.350-370.
[33]
M K Molloy.Fundamentals of Performance Modeling[M].Macmillan-Colliev Macmillan,1989.
F Bause,P Kritzinger.Stochastic Petri Nets[M].Vieweg,Braunschweig,1996.
[36]
J F Meyer,A Movaghar,W H Sanders.Stochastic activity networks:structure,behavior,and application[A].Proc Intern Workshop on Timed Petri Nets[C].Italy:Torino,1985.106-115.
[37]
William H Sanders,John F Meyer.Stochastic activity networks:formal definitions and concepts[A].E Brinksma,H Hermanns,J P Katoen.Lectures on Formal Methods and Performance Analysis[C].New York,Berlin,Heidelberg:Springer,2000.315-343.
[38]
F Moller,C Tofts.A temporal calculus of communicating systems[A].J C M Baeten,J-W Klop.Concur''90:Theories of Concurrency-Unification and Extension[C].1990,LNCS 458.401-415.
[39]
H Hermanss,J-P Katoen,J Meyer-Kayser,M Siegle.Towards model checking stochastic process algebra[A].W Grieskamp,T Santen,B Stoddart.2nd Int Conference on Integrated Formal Methods[C].Dagstuhl:Springer,2000,LNCS 1945.420-439.
[40]
H Hermanns,U Herzog,J Hillston.Stochastic process algebras-a formal approach to performance modeling[A].Performance Tools''95/MMB''95[C].Heidelberg,Germany,1995.
[41]
H Hermanns,U Klehmet,V Mertsiotakis,M Siegle.Compositional performance modeling with the TIPPTOOL[A].R Puigjaner,N N Savio,B Serra.Computer Performance Evaluation[C].Spain:Springer,1998.51-62.
[42]
Matthias Becker,Helena Szczerbicka.PNiQ-A concept for performability evaluation[A].Erol Gelenbe.System Performance Evaluation:Methodologies and Applications[C].263-274.
[43]
A Bobbio,A Puliafito,M Telek,K S Trivedi.Recent developments in non-Markovian stochastic Petri nets[J].Journal of Systems Circuits and Computers,1998,8(1):119-158.
[44]
W E Leland,M S Taqqu,W Willinger,D V Wilson.On the self-similar nature of Ethernet traffic[J].IEEE/ACM Transactions on Networking,1994,2(1):1-15.
[45]
林闯.计算机网络和计算机系统的性能评价[M].北京:清华大学出版社,2001.130-147.
[46]
W Willinger,M S Taqqu,R Sherman,D V Wilson.Self-similarity th-rough high variability:statistical analysis of Ethernet LAN traffic at the source level[J].IEEE/ACM Transactions on Networking,1997,5(1):71-86.
