Performance Analysis Using Stochastic Petri Nets

Authors:
M. K. Molloy
Affiliations:
Department of Computer Science, School of Natural Sciences, University of Texas
Venue:
IEEE Transactions on Computers
Year:
1982

Citing 13
Cited 61

Models of Computations and Systems—Evaluation of Vertex Probabilities in Graph Models of Computations

Journal of the ACM (JACM)
Petri Nets

ACM Computing Surveys (CSUR)
Formal verification of parallel programs

Communications of the ACM
A note on reliable full-duplex transmission over half-duplex links

Communications of the ACM
Timed Petri nets and preliminary performance evaluation

ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
The two-step commitment protocol: Modeling, specification and proof methodology

ICSE '81 Proceedings of the 5th international conference on Software engineering
Numerical methods for infinite Markov processes

PERFORMANCE '80 Proceedings of the 1980 international symposium on Computer performance modelling, measurement and evaluation
A Petri Net model of the CDC 6400

Proceedings of the SIGOPS workshop on System performance evaluation
On the integration of delay and throughput measures in distributed processing models

On the integration of delay and throughput measures in distributed processing models
Theory, Volume 1, Queueing Systems

Theory, Volume 1, Queueing Systems
Special Feature: Putting Petri Nets to Work

Computer
Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets

IEEE Transactions on Software Engineering
A Comparison of Some Theoretical Models of Parallel Computation

IEEE Transactions on Computers

Symmetric stochastic Petri nets

IBM Journal of Research and Development
Analytic Queueing Network Models for Parallel Processing of Task Systems

IEEE Transactions on Computers
A Formal Definition of Data Flow Graph Models

IEEE Transactions on Computers
An Efficient Kronecker Representation for PEPA Models

PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Advances in Model Representations

PAPM-PROBMIV '01 Proceedings of the Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Performance Equivalent Analysis of Workflow Systems Based on Stochastic Petri Net Models

EDCIS '02 Proceedings of the First International Conference on Engineering and Deployment of Cooperative Information Systems
A Timed Petri Net Interpreter: An Alternative Method for Simulation

RSCTC '00 Revised Papers from the Second International Conference on Rough Sets and Current Trends in Computing
Iterative Analysis of Markov Regenerative Models

TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Fully Abstract Characterization of Probabilistic May Testing

ARTS '99 Proceedings of the 5th International AMAST Workshop on Formal Methods for Real-Time and Probabilistic Systems
From Stochastic Petri Nets to Markov Regenerative Stochastic Petri Nets

MASCOTS '95 Proceedings of the 3rd International Workshop on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems
Stochastic Petri nets applied to the performance evaluation of static task allocations in heterogeneous computing environments

HCW '97 Proceedings of the 6th Heterogeneous Computing Workshop (HCW '97)
Simulation of Task Graph Systems in Heterogeneous Computing Environments

HCW '99 Proceedings of the Eighth Heterogeneous Computing Workshop
Stochastic Petri net semantics for stochastic process algebras

PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Fixed point iteration using stochastic reward nets

PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Approximate mean value analysis technique for non-product form solution stochastic Petri nets: an application to stochastic marked graphs

PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Algorithms for the generation of state-level representations of stochastic activity networks with general reward structures

PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
One-dependent cycles and passage times in stochastic Petri nets

PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Structured Solution of Stochastic DSSP Systems

PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Performance Prediction in Production Environments

IPPS '98 Proceedings of the 12th. International Parallel Processing Symposium on International Parallel Processing Symposium
QoS Assessment via Stochastic Analysis

IEEE Internet Computing
Performance evaluation comes to life: quantitative methods applied to biological systems

ACM SIGMETRICS Performance Evaluation Review
Formalization of petri nets with clocks

Journal of Computational Methods in Sciences and Engineering - Selected papers from the International Conference on Computer Science,Software Engineering, Information Technology, e-Business, and Applications, 2003
PDETool: A Multi-formalism Modeling Tool for Discrete-Event Systems Based on SDES Description

PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Modelling workflows and collaboration in virtual supply chains with nested modular Petri nets

International Journal of Computer Applications in Technology
Performance Simulation And Design Of Petri Net Systems

Journal of Integrated Design & Process Science
Performance control of Markovian Petri nets via fluid models: a stock-level control example

CASE'09 Proceedings of the fifth annual IEEE international conference on Automation science and engineering
Modeling a flexible manufacturing cell using stochastic Petri nets with fuzzy parameters

Expert Systems with Applications: An International Journal
Predictive modelling of SAP ERP applications: challenges and solutions

Proceedings of the Fourth International ICST Conference on Performance Evaluation Methodologies and Tools
Automatic Parameterisation of Stochastic Petri Net Models of Biological Networks

Electronic Notes in Theoretical Computer Science (ENTCS)
Transformation of UML Models into Analyzable OSAN Models

Electronic Notes in Theoretical Computer Science (ENTCS)
Statistical Performance Analysis and Estimation for Parallel Multimedia Processing

Journal of Signal Processing Systems
Paper: Petri net performance modeling of a modified mesh-connected parallel computer

Parallel Computing
n-cube model for cluster computing and its evaluation

APPT'07 Proceedings of the 7th international conference on Advanced parallel processing technologies
Transient behavior of ATM networks under overloads

INFOCOM'96 Proceedings of the Fifteenth annual joint conference of the IEEE computer and communications societies conference on The conference on computer communications - Volume 3
Timing and liveness in continuous Petri nets

Automatica (Journal of IFAC)
Applying ordinary differential equations to the performance analysis of service composition

ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Algebraic Multigrid for Markov Chains

SIAM Journal on Scientific Computing
Recursively Accelerated Multilevel Aggregation for Markov Chains

SIAM Journal on Scientific Computing
Performance engineering with product-form models: efficient solutions and applications

Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
GA optimization of Petri net-modeled concurrent service systems

Applied Soft Computing
Top-level acceleration of adaptive algebraic multilevel methods for steady-state solution to Markov chains

Advances in Computational Mathematics
Simplification of a complex signal transduction model using invariants and flow equivalent servers

Theoretical Computer Science
On fluidization of discrete event models: observation and control of continuous Petri nets

Discrete Event Dynamic Systems
Reliability-based route optimization of a transportation network with random arc capacities and time threshold

IUKM'11 Proceedings of the 2011 international conference on Integrated uncertainty in knowledge modelling and decision making
ArgoSPE: model-based software performance engineering

ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
References

Embedded Systems Design
Continuization of timed petri nets: from performance evaluation to observation and control

ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Modeling user-perceived service availability

ISAS'05 Proceedings of the Second international conference on Service Availability
Dynamic aspects and behaviors of complex systems in performance and reliability assessment

ACM SIGMETRICS Performance Evaluation Review
Piecewise constant timed continuous PNs for the steady state estimation of stochastic PNs

Discrete Event Dynamic Systems
Methodological construction of product-form stochastic Petri nets for performance evaluation

Journal of Systems and Software
On the product-form solution of a class of multiple-bus multiprocessor system models

Journal of Systems and Software
An “Active Server” model for the performance of parallel programs written using rendezvous

Journal of Systems and Software
Measuring the effectiveness of throttled data transfers on data-intensive workflows

KES-AMSTA'12 Proceedings of the 6th KES international conference on Agent and Multi-Agent Systems: technologies and applications
Stochastic Petri Box Calculus with Discrete Time

Fundamenta Informaticae
Lumping and reversed processes in cooperating automata

ASMTA'12 Proceedings of the 19th international conference on Analytical and Stochastic Modeling Techniques and Applications
Design, Analysis and Verification of Real-Time Systems Based on Time Petri Net Refinement

ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
A hybrid approach to failure analysis using stochastic petri nets and ranking generalized fuzzy numbers

Advances in Fuzzy Systems - Special issue on Real-Life Applications of Fuzzy Logic
SimGine: A simulation engine for stochastic discrete-event systems based on SDES description

Simulation
Concurrency meets probability: theory and practice

CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
MINIMIZING OPERATIONAL COST USING ARTIFICIAL IMMUNE ALGORITHM

Journal of Integrated Design & Process Science

Quantified Score

Hi-index	14.99

Visualization

Abstract

An isomorphism between the behavior of Petri nets with exponentially distributed transition rates and Markov processes is presented. In particular, k-bounded Petri nets are isomorphic to finite Markov processes and can be solved by standard techniques if k is not too large. As a practical example, we solve for the steady state average message delay and throughput on a communication link when the alternating bit protocol is used for error recovery.