A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems

Full text

Pdf (1.57 MB)

Source

ACM Transactions on Computer Systems (TOCS) archive
Volume 2 , Issue 2 (May 1984) table of contents

Pages: 93 - 122

Year of Publication: 1984

ISSN:0734-2071

Authors

Marco Ajmone Marsan	Politecnico di Torino, Turin, Italy
Gianni Conte	Politecnico di Torino, Turin, Italy
Gianfranco Balbo	Univ. di Torino, Turin, Italy

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 14, Downloads (12 Months): 108, Citation Count: 116

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/190.191 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	AJMONE MARSAN, M. Bounds on bus and memory interference in a class of multiple bus multiprocessor systems. In Proceedings of 3rd International Conference on Distributed Computing Systems (Ft. Lauderdale, Fla., Oct. 18-22), IEEE, New York, 1982, pp. 792-798.
	2	AJMONE MARSAN, M., BALBO, G., AND CONTE, G. Comparative performance analysis of single bus multiprocessor architectures. IEEE Trans. Comput. C-31, 12 (Dec. 1982), 1179-1191.
	3	AJMONE MARSAN, M. AND GERLA, M. Markov models for multiple bus multiprocessor systems. IEEE Trans. Comput. C-32, 3 (March 1982), 239-248.
	4	AJMONE MARSAN M. AND GREGORETTI, F. Memory interference model for a multimicroprocessor system with a shared bus and a single external common memory. Euromicro J. 7, 2 (1981), 124-133.
	5	Cox, D.R. The analysis of non-Markovian stochastic processes by the inclusion of supplementary variables. Proc. Camb. Phil. Soc., 51 (1955), 313-319.
	6	MERLIN, J. A., AND FARBER, D.J. Recoverability of communication protocols--implications of a theoretical study IEEE Trans. Commun. COM-24, 9 (Sept. 1976).
	7	Michael Karl Molloy, On the integration of delay and throughput measures in distributed processing models, 1981
	8	MOLLOY, M.K. Performance analysis using stochastic Petri nets. IEEE Trans. Comput. C-31, 9 (Sept. 1982), 913-917.
	9	NATKIN, S. Reseaux de Petri Stochastiques. Ph.D. dissertation, CNAM-PARIS, (June 1980).
	10	NOE, J. D., AND NUTT, G .J . Macro E-nets representation of parallel systems. IEEE Trans. Cornput. C-22, 8 (Aug. 1973), 718-727.
	11	James L. Peterson, Petri Nets, ACM Computing Surveys (CSUR), v.9 n.3, p.223-252, Sept. 1977 [doi>10.1145/356698.356702]
	12	PETRI, C.A. Communication with automata. Ph.D. dissertation, Tech. Rep. RADC-TR-65-377, Rome Air Development Center, Rome, NY (1966).
	13	SYMONS, F. Z.W. Introduction to numerical Petri nets, a general graphical model of concurrent processing systems. A.T.R., 14, 1 (Jan. 1980), 28-33.
	14	VARGA, R.S. Matrix Iterative Analysis. Prentice Hall, Englewood Cliffs, N. J. (1962).
	15	W. M. Zuberek, Timed Petri nets and preliminary performance evaluation, Proceedings of the 7th annual symposium on Computer Architecture, p.88-96, May 06-08, 1980, La Baule, United States [doi>10.1145/800053.801913]

CITED BY 116

	C. Murray Woodside , Yao Li, Complete Decomposition of Stochastic Petri Nets Representing Generalized Service Networks, IEEE Transactions on Computers, v.44 n.4, p.577-592, April 1995
	M. Ajmone Marsan , S. Donatelli , U. Rubino , F. Neri, GSPN models of random, cyclic, and optimal 1-limited multiserver multiqueue systems, ACM SIGCOMM Computer Communication Review, v.21 n.4, p.69-80, Sept. 1991
	James M. Butler, Quantum modeling of distributed object computing, ACM SIGSIM Simulation Digest, v.24 n.2, p.20-39, Winter 1994
	Robert G. Willhoft, Petri-net evaluation using APL2, ACM SIGAPL APL Quote Quad, v.23 n.1, p.286-300, July 1992
	Amarnath Mukherjee , Lawrence H. Landweber , John C. Strikwerda, Simultaneous analysis of flow and error control strategies with congestion-dependent errors, ACM SIGMETRICS Performance Evaluation Review, v.18 n.1, p.86-95, May 1990
	Bo Li , Samuel T. Chanson , Chuang Lin, Analysis of a hybrid cutoff priority scheme for multiple classes of traffic in multimedia wireless networks, Wireless Networks, v.4 n.4, p.279-290, July 1998
	W. M. Zuberek, Modified M-timed Petri nets in modelling and performance evaluation of systems, Proceedings of the 15th annual conference on Computer Science, p.261-268, February 1987, St. Louis, Missouri, United States
	J. A. Gregorio , F. Vallejo , R. Beivide , C. Carrión, Petri net modeling of interconnection networks for massively parallel architectures, Proceedings of the 9th international conference on Supercomputing, p.107-116, July 03-07, 1995, Barcelona, Spain
	Tom Verdickt , Bart Dhoedt , Frank Gielen , Piet Demeester, Automatic Inclusion of Middleware Performance Attributes into Architectural UML Software Models, IEEE Transactions on Software Engineering, v.31 n.8, p.695-711, August 2005
	Robert Geist , Darren Crane , Stephen Daniel , Darrell Suggs, Systems modeling with xpetri, Proceedings of the 26th conference on Winter simulation, p.611-618, December 11-14, 1994, Orlando, Florida, United States
	K. C. Sevcik, Characterizations of parallelism in applications and their use in scheduling, ACM SIGMETRICS Performance Evaluation Review, v.17 n.1, p.171-180, May 1989
	G. Chiola , C. Dutheillet , G. Franceschinis , S. Haddad, Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications, IEEE Transactions on Computers, v.42 n.11, p.1343-1360, November 1993
	W. M. Zuberek, On generation of state space for timed Petri nets, Proceedings of the 1988 ACM sixteenth annual conference on Computer science, p.239-248, February 1988, Atlanta, Georgia, United States
	Chuang Lin , Dan Christian Marinescu, Translation of modified predicate transition nets models of cummunication protocols into simulation programs, Proceedings of the 18th conference on Winter simulation, p.760-768, December 08-10, 1986, Washington, D.C., United States
	Omer F. Rana , Kate Stout, What is scalability in multi-agent systems?, Proceedings of the fourth international conference on Autonomous agents, p.56-63, June 03-07, 2000, Barcelona, Spain
	M. Ajmone Marsan , G. Balbo , G. Chiola , G. Conte, Modeling the software architecture of a prototype parallel machine, ACM SIGMETRICS Performance Evaluation Review, v.15 n.1, p.175-185, May 1987
	Marco Ajmone Marsan , Andrea Bianco , Luigi Ciminiera , Riccardo Sisto , Adriano Valenzano, A LOTOS extension for the performance analysis of distributed systems, IEEE/ACM Transactions on Networking (TON), v.2 n.2, p.151-165, April 1994
	G. Balbo , S. C. Bruell , S. Ghanta, Modeling priority schemes, ACM SIGMETRICS Performance Evaluation Review, v.13 n.2, p.15-26, Aug. 1985
	Mark A. Holliday , Mary K. Vernon, The GTPN analyzer: numerical methods and user interface, Proceedings of 1986 ACM Fall joint computer conference, p.1099-1105, November 1986, Dallas, Texas, United States
	Wlodzimierz M. Zuberek, Extended D-timed Petri nets, timeouts, and analysis of communication protocols, Proceedings of the 1985 ACM annual conference on The range of computing : mid-80's perspective: mid-80's perspective, p.10-15, October 1985, Denver, Colorado, United States
	Mary K. Vernon , Mark A. Holliday, Performance analysis of multiprocessor cache consistency protocols using generalized timed Petri nets, ACM SIGMETRICS Performance Evaluation Review, v.14 n.1, p.9-17, May 1986
	Wayne F. Zimmerman , Chung-I Wu, Real-time hierarchically distributed processing network interaction simulation, Proceedings of the 21st annual symposium on Simulation, p.207-226, January 1988, Tampa, Florida, United States
	Giorgio Bruno , Giuseppe Marchetto, Rapid prototyping of control systems using high level Petri nets, Proceedings of the 8th international conference on Software engineering, p.230-235, August 28-30, 1985, London, England
	Gianfranco Balbo, Introducation to stochastic Petri nets, Lectures on formal methods and performance analysis: first EEF/Euro summer school on trends in computer science, Springer-Verlag New York, Inc., New York, NY, 2002
	Gerard Florin , Stéphane Natkin, Generalization of Queueing Network Product Form Solutions to Stochastic Petri Nets, IEEE Transactions on Software Engineering, v.17 n.2, p.99-107, February 1991
	W. H. Sanders , J. F. Meyer, METASAN: a performability evaluation tool based on stochastic activity networks, Proceedings of 1986 ACM Fall joint computer conference, p.807-816, November 1986, Dallas, Texas, United States
	J. A. Gregorio , R. Beivide , F. Vallejo, Modeling of interconnection subsystems for massively parallel computers, Performance Evaluation, v.47 n.2, p.105-129, February 2002
	W. M. Zuberek, M-timed Petri nets and Markov chains in modelling of computer systems, Proceedings of the 1986 ACM fourteenth annual conference on Computer science, p.101-106, February 1986, Cincinnati, Ohio, United States
	Dorina C. Petriu, Approximate mean value analysis of client-server systems with multi-class requests, ACM SIGMETRICS Performance Evaluation Review, v.22 n.1, p.77-86, May 1994
	Allen M. Johnson, Jr. , Miroslaw Malek, Survey of software tools for evaluating reliability, availability, and serviceability, ACM Computing Surveys (CSUR), v.20 n.4, p.227-269, Dec. 1988
	G. Chiola , M. A. Marsan , G. Balbo , G. Conte, Generalized Stochastic Petri Nets: A Definition at the Net Level and its Implications, IEEE Transactions on Software Engineering, v.19 n.2, p.89-107, February 1993
	Xian-He Sun , Lionel M. Ni, Another view on parallel speedup, Proceedings of the 1990 conference on Supercomputing, p.324-333, October 1990, New York, New York, United States
	W. M. Zuberek, Analysis of performance bottlenecks in multithreaded multiprocessor systems, Fundamenta Informaticae, v.50 n.2, p.223-241, April 2002
	William M. Evanco , Jeffrey Yang, A framework for the efficient Petri net simulation of real-time systems, Proceedings of the 25th annual symposium on Simulation, p.202-213, April 1992, Orlando, Florida, United States
	Nicholas J. Dingle , Peter G. Harrison , William J. Knottenbelt, Response time densities in generalised stochastic petri net models, Proceedings of the 3rd international workshop on Software and performance, July 24-26, 2002, Rome, Italy
	George Hassapis , Dimitra Ananidou, Modeling and verification of a class of real-time systems by the use of high level petri nets, Journal of Systems and Software, v.68 n.2, p.153-165, 15 November 2003
	Jeremy Bryans , Howard Bowman , John Derrick, Model checking stochastic automata, ACM Transactions on Computational Logic (TOCL), v.4 n.4, p.452-492, October 2003
	N. Lopez-Benitez, Dependability Modeling and Analysis of Distributed Programs, IEEE Transactions on Software Engineering, v.20 n.5, p.345-352, May 1994
	G. Balbo , G. Chiola , S. C. Bruell , P. Chen, An Example of Modeling and Evaluation of a Concurrent Program Using Colored Stochastic Petri Nets: Lamport's Fast Mutual Exclusion Algorithm, IEEE Transactions on Parallel and Distributed Systems, v.3 n.2, p.221-240, March 1992
	Daniel D. Deavours , Graham Clark , Tod Courtney , David Daly , Salem Derisavi , Jay M. Doyle , William H. Sanders , Patrick G. Webster, The Möbius Framework and Its Implementation, IEEE Transactions on Software Engineering, v.28 n.10, p.956-969, October 2002
	Arjan J. C. van Gemund, Symbolic Performance Modeling of Parallel Systems, IEEE Transactions on Parallel and Distributed Systems, v.14 n.2, p.154-165, February 2003
	Andrea Bondavalli , Alessandro Fantechi , Diego Latella , Luca Simoncini, Design Validation of Embedded Dependable Systems, IEEE Micro, v.21 n.5, p.52-62, September 2001
	James M. Butler , A. Yavuz Oruc, PSB graphs for simulating cooperative and distributed program behavior, Proceedings of the 1990 ACM annual conference on Cooperation, p.89-95, February 20-22, 1990, Washington, D.C., United States
	Ashley Saulsbury , Fong Pong , Andreas Nowatzyk, Missing the memory wall: the case for processor/memory integration, ACM SIGARCH Computer Architecture News, v.24 n.2, p.90-101, May 1996
	E. Rosti , E. Smirni , T. D. Wagner , A. W. Apon , L. W. Dowdy, The KSR1: experimentation and modeling of poststore, ACM SIGMETRICS Performance Evaluation Review, v.21 n.1, p.74-85, June 1993
	Antonella Di Stefano , Orazio Mirabella , Fabio Presente, Implementing a DSP-Based Petri-Net Simulation Tool, IEEE Micro, v.11 n.2, p.20-23, 56-64, March 1991
	Peter Kemper, Numerical Analysis of Superposed GSPNs, IEEE Transactions on Software Engineering, v.22 n.9, p.615-628, September 1996
	Lorrie A. Tomek , Jogesh K. Muppala , Kishor S. Trivedi, Modeling Correlation in Software Recovery Blocks, IEEE Transactions on Software Engineering, v.19 n.11, p.1071-1086, November 1993
	Giovanni Chiola , Marco Ajmone Marsan , Gianfranco Balbo, Product-Form Solution Techniques for the Performance Analysis of Multiple-Bus Multiprocessor Systems with Nonuniform Memory References, IEEE Transactions on Computers, v.37 n.5, p.532-540, May 1988
	N. Lopez-Benitez , J. A. B. Fortes, Detailed Modeling and Reliability Analysis of Fault-Tolerant Processor Arrays, IEEE Transactions on Computers, v.41 n.9, p.1193-1200, September 1992
	Ichiro Suzuki , Harngdar Lu, Temporal Petri Nets and Their Application to Modeling and Analysis of a Handshake Daisy Chain Arbiter, IEEE Transactions on Computers, v.38 n.5, p.696-704, May 1989
	G. Balbo , S. C. Bruell , S. Ghanta, Combining Queueing Networks and Generalized Stochastic Petri Nets for the Solution of Complex Models of System Behavior, IEEE Transactions on Computers, v.37 n.10, p.1251-1268, October 1988
	J. B. Dugan , K. S. Trivedi, Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems, IEEE Transactions on Computers, v.38 n.6, p.775-787, June 1989
	William Henderson , Peter G. Taylor, Embedded Processes in Stochastic Petri Nets, IEEE Transactions on Software Engineering, v.17 n.2, p.108-116, February 1991
	Ichiro Suzuki, Formal Analysis of the Alternating Bit Protocol by Temporal Petri Nets, IEEE Transactions on Software Engineering, v.16 n.11, p.1273-1281, November 1990
	Brigitte Plateau , Karim Atif, Stochastic Automata Network of Modeling Parallel Systems, IEEE Transactions on Software Engineering, v.17 n.10, p.1093-1108, October 1991
	S. M. Rezaul Islam , Hany H. Ammar, Performability Analysis of Distributed Real-Time Systems, IEEE Transactions on Computers, v.40 n.11, p.1239-1251, November 1991
	Gianfranco Ciardo , David M. Nicol , Kishor S. Trivedi, Discrete-Event Simulation of Fluid Stochastic Petri Nets, IEEE Transactions on Software Engineering, v.25 n.2, p.207-217, March 1999
	B. -C. Jenq , B. C. Twichell , T. W. Keller, Locking Performance in a Shared Nothing Parallel Database Machine, IEEE Transactions on Knowledge and Data Engineering, v.1 n.4, p.530-543, December 1989
	Enrique Teruel , Giuliana Franceschinis , Massimiliano De Pierro, Well-Defined Generalized Stochastic Petri Nets: A Net-Level Method to Specify Priorities, IEEE Transactions on Software Engineering, v.29 n.11, p.962-973, November 2003
	P. J. Haas , G. S. Shedler, Stochastic Petri Net Representation of Discrete Event Simulations, IEEE Transactions on Software Engineering, v.15 n.4, p.381-393, April 1989
	C. Murray Woodside , Yao Li, Complete Decomposition of Stochastic Petri Nets Representing Generalized Service Networks, IEEE Transactions on Computers, v.44 n.8, p.1031-1046, August 1995
	Carl K. Chang , Young-Fu Chang , Lin Yang , Ching-Roung Chou , Jong-Jeng Chen, Modeling a Real-Time Multitasking System in a Timed PQ Net, IEEE Software, v.6 n.2, p.46-51, March 1989
	M. Ajmone Marsan , K. Al-Begain , R. Gaeta, On the performance analysis of ABR in ATM LANs with stochastic petri nets, Journal of Systems Architecture: the EUROMICRO Journal, v.50 n.6, p.325-343, June 2004
	C. U. Smith , L. G. Williams, Software Performance Engineering: A Case Study Including Performance Comparison with Design Alternatives, IEEE Transactions on Software Engineering, v.19 n.7, p.720-741, July 1993
	Nicholas J. Dingle , Peter G. Harrison , William J. Knottenbelt, Uniformization and hypergraph partitioning for the distributed computation of response time densities in very large Markov models, Journal of Parallel and Distributed Computing, v.64 n.8, p.908-920, August 2004
	C. Murray Woodside , John E. Neilson , Dorina C. Petriu , Shikharesh Majumdar, The Stochastic Rendezvous Network Model for Performance of Synchronous Client-Server-like Distributed Software, IEEE Transactions on Computers, v.44 n.1, p.20-34, January 1995
	Yuan-Bao Shieh , Dipak Ghosal , Prasad R. Chintamaneni , Satish K. Tripathi, Modeling of Hierarchical Distributed Systems with Fault-Tolerance, IEEE Transactions on Software Engineering, v.16 n.4, p.444-457, April 1990
	Carlo Ghezzi , Dino Mandrioli , Sandro Morasca , Mauro Pezzè, A Unified High-Level Petri Net Formalism for Time-Critical Systems, IEEE Transactions on Software Engineering, v.17 n.2, p.160-172, February 1991
	Jean-Claude Laprie , Karama Kanoun , Christian Béounes , Mohamed Kaâniche, The KAT (Knowledge-Action-Transformation) Approach to the Modeling and Evaluation of Reliability and Availability Growth, IEEE Transactions on Software Engineering, v.17 n.4, p.370-382, April 1991
	Zhen Liu, Performance Analysis of Stochastic Timed Petri Nets Using Linear Programming Approach, IEEE Transactions on Software Engineering, v.24 n.11, p.1014-1030, November 1998
	Andrew S. Miner, Implicit GSPN reachability set generation using decision diagrams, Performance Evaluation, v.56 n.1-4, p.145-165, March 2004
	R. Hofmann , R. Klar , B. Mohr , A. Quick , M. Siegle, Distributed Performance Monitoring: Methods, Tools, and Applications, IEEE Transactions on Parallel and Distributed Systems, v.5 n.6, p.585-598, June 1994
	Yong-Kim Chong , Kai Hwang, Performance Analysis of Four Memory Consistency Models for Multithreaded Multiprocessors, IEEE Transactions on Parallel and Distributed Systems, v.6 n.10, p.1085-1099, October 1995
	G. Ciardo , R. A. Marie , B. Sericola , K. S. Trivedi, Performability Analysis Using Semi-Markov Reward Processes, IEEE Transactions on Computers, v.39 n.10, p.1251-1264, October 1990
	G. Ciardo , R. German , C. Lindemann, A Characterization of the Stochastic Process Underlying a Stochastic Petri Net, IEEE Transactions on Software Engineering, v.20 n.7, p.506-515, July 1994
	David N. Jansen , Holger Hermanns, QoS modelling and analysis with UML-statecharts: the StoCharts approach, ACM SIGMETRICS Performance Evaluation Review, v.32 n.4, p.28-33, March 2005
	J. B. Dugan , G. Ciardo, Stochastic Petri Net Analysis of a Replicated File System, IEEE Transactions on Software Engineering, v.15 n.4, p.394-401, April 1989
	Jogesh K. Muppala , Kishor S. Trivedi , Steven P. Woolet, Real-time Systems Performance in the Presence of Failures, Computer, v.24 n.5, p.37-47, May 1991
	David M. Nicol , William H. Sanders , Kishor S. Trivedi, Model-Based Evaluation: From Dependability to Security, IEEE Transactions on Dependable and Secure Computing, v.1 n.1, p.48-65, January 2004
	Itsuo Hatono , Keiichi Yamagata , Hiroyuki Tamura, Modeling and Online Scheduling of Flexible Manufacturing Systems Using Stochastic Petri Nets, IEEE Transactions on Software Engineering, v.17 n.2, p.126-132, February 1991
	Varsha Mainkar , Kishor S. Trivedi, Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models, IEEE Transactions on Software Engineering, v.22 n.9, p.640-653, September 1996
	H. H. Ammar , S. M. Rezaul Islam, Time Scale Decomposition of a Class of Generalized Stochastic Petri Net Models, IEEE Transactions on Software Engineering, v.15 n.6, p.809-820, June 1989
	Eugenio Battiston , Fiorella De Cindio , Giancarlo Mauri, Modular Algebraic Nets to Specify Concurrent Systems, IEEE Transactions on Software Engineering, v.22 n.10, p.689-705, October 1996
	M. A. Marsan , G. Balbo , A. Bobbio , G. Chiola , G. Conte , A. Cumani, The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets, IEEE Transactions on Software Engineering, v.15 n.7, p.832-846, July 1989
	Meiliu Lu , Du Zhang , Tadao Murata, Analysis of Self-Stabilizing Clock Synchronization by Means of Stochastic Petri Nets, IEEE Transactions on Computers, v.39 n.5, p.597-604, May 1990
	Mercedes Granda , José M. Drake , José A. Gregorio, Performance Evaluation of Parallel Systems by Using Unbounded Generalized Stochastic Petri Nets, IEEE Transactions on Software Engineering, v.18 n.1, p.55-71, January 1992
	Robert Geist , A. Jefferson Offutt , Frederick C. Harris, Jr., Estimation and Enhancement of Real-Time Software Reliability Through Mutation Analysis, IEEE Transactions on Computers, v.41 n.5, p.550-558, May 1992
	Jeremy T. Bradley , Nicholas J. Dingle , Peter G. Harrison , William J. Knottenbelt, Distributed computation of transient state distributions and passage time quantiles in large semi-Markov models, Future Generation Computer Systems, v.22 n.7, p.828-837, August 2006
	Richard Lai , Tony Tsang , Yong Soo Kim , Dae Hoon Hwang , Chul Soo Lee , Yoon Kyung Han, A method for analysing multimedia protocol performance, Journal of Systems and Software, v.79 n.4, p.454-465, April 2006
	O. C. Ibe , H. Choi , K. S. Trivedi, Performance Evaluation of Client-Server Systems, IEEE Transactions on Parallel and Distributed Systems, v.4 n.11, p.1217-1229, November 1993
	Chuang Lin , Dan Christian Marinescu, Stochastic High-Level Petri Nets and Applications, IEEE Transactions on Computers, v.37 n.7, p.815-825, July 1988
	Muhammad A. Qureshi , William H. Sanders , Aad P. A. van Moorsel , Reinhard German, Algorithms for the Generation of State-Level Representations of Stochastic Activity Networks with General Reward Structures, IEEE Transactions on Software Engineering, v.22 n.9, p.603-614, September 1996
	Mourad Rabah , Karama Kanoun, Performability Evaluation of Multipurpose Multiprocessor Systems: The "Separation of Concerns" Approach, IEEE Transactions on Computers, v.52 n.2, p.223-236, February 2003
	T. W. Page, Jr. , S. Berson , W. Cheng , R. R. Muntz, An object-oriented modelling enviornment, ACM SIGPLAN Notices, v.24 n.10, p.287-296, Oct. 1989
	Michael K. Molloy, A CAD tool for stochastic Petri nets, Proceedings of 1986 ACM Fall joint computer conference, p.1082-1091, November 1986, Dallas, Texas, United States
	Alexander Bell , Boudewijn R. Haverkort, Distributed disk-based algorithms for model checking very large Markov chains, Formal Methods in System Design, v.29 n.2, p.177-196, September 2006
	Hassan Reza, A Methodology for Architectural Design of Concurrent and Distributed Software Systems, The Journal of Supercomputing, v.37 n.3, p.227-248, September 2006
	Fábio Delamare , Fernando Luís Dotti , Paulo Fernandes , Cristina M. Nunes , Luciano C. Ost, Analytical modeling of random waypoint mobility patterns, Proceedings of the 3rd ACM international workshop on Performance evaluation of wireless ad hoc, sensor and ubiquitous networks, October 06-06, 2006, Terromolinos, Spain
	Dazhi Wang , Wei Xie , Kishor S. Trivedi, Performability analysis of clustered systems with rejuvenation under varying workload, Performance Evaluation, v.64 n.3, p.247-265, March, 2007
	Robert Geist , Jacob Hicks , Mark Smotherman , James Westall, Parallel simulation of petri nets on desktop pc hardware, Proceedings of the 37th conference on Winter simulation, December 04-07, 2005, Orlando, Florida
	Lei Zhao , Stephen A. Jarvis, Predictive performance modelling of parallel component compositions, Cluster Computing, v.10 n.2, p.155-166, June 2007
	Angelo Morzenti , Fabio A. Schreiber, Analysis of techniques in the assessment of ultra-reliable computerized systems, ACM SIGSOFT Software Engineering Notes, v.22 n.2, p.87-91, March 1997
	Frederick T. Sheldon , Stefan Greiner, Composing, analyzing and validating software models to assess the performability of competing design candidates, Annals of Software Engineering, v.8 n.1-4, p.239-287, 1999
	Bas Boone , Tom Verdickt , Bart Dhoedt , Filip De Turck, Design time deployment optimization for component based systems, Proceedings of the 25th conference on IASTED International Multi-Conference: Software Engineering, p.242-248, February 13-15, 2007, Innsbruck, Austria
	Alexander Viehl , Markus Schwarz , Oliver Bringmann , Wolfgang Rosenstiel, Probabilistic performance risk analysis at system-level, Proceedings of the 5th IEEE/ACM international conference on Hardware/software codesign and system synthesis, September 30-October 03, 2007, Salzburg, Austria
	Ashok Argent-Katwala , Jeremy T. Bradley, Continuous PEPA queues: individual behaviour in continuous queueing networks, Proceedings of the 2nd international conference on Performance evaluation methodologies and tools, October 22-27, 2007, Nantes, France
	Peter Buchholz, Bisimulation relations for weighted automata, Theoretical Computer Science, v.393 n.1-3, p.109-123, March, 2008
	Ricardo M. Czekster , Paulo Fernandes , Jean-Marc Vincent , Thais Webber, Split: a flexible and efficient algorithm to vector-descriptor product, Proceedings of the 2nd international conference on Performance evaluation methodologies and tools, October 22-27, 2007, Nantes, France
	B. Tuffin , P. K. Choudhary , C. Hirel , K. S. Trivedi, Simulation versus analytic-numeric methods: illustrative examples, Proceedings of the 2nd international conference on Performance evaluation methodologies and tools, October 22-27, 2007, Nantes, France
	Stefan Blom , Boudewijn R. Haverkort , Matthias Kuntz , Jaco van de Pol, Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking, Electronic Notes in Theoretical Computer Science (ENTCS), v.220 n.2, p.35-50, December, 2008
	R. Uzal , D. Riesco , G. Montejano , G. Vilallonga , Narayan C. Debnath, Formalization of petri nets with clocks, Journal of Computational Methods in Sciences and Engineering, v.5 n.1 Supplement, p.185-199, January 2005
	Nicholas J. Dingle , William J. Knottenbelt, Automated Customer-Centric Performance Analysis of Generalised Stochastic Petri Nets Using Tagged Tokens, Electronic Notes in Theoretical Computer Science (ENTCS), 232, p.75-88, March, 2009
	Nicholas J. Dingle , William J. Knottenbelt , Tamas Suto, PIPE2: a tool for the performance evaluation of generalised stochastic Petri Nets, ACM SIGMETRICS Performance Evaluation Review, v.36 n.4, March 2009
	Kisho S. Trivedi , Robin Sahner, SHARPE at the age of twenty two, ACM SIGMETRICS Performance Evaluation Review, v.36 n.4, March 2009
	Daniel Brown , Riccardo Pucella, Categories of Timed Stochastic Relations, Electronic Notes in Theoretical Computer Science (ENTCS), 249, p.193-217, August, 2009