Embedded Processes in Stochastic Petri Nets

Authors:
William Henderson;Peter G. Taylor
Affiliations:
Univ. of Adelaide, Adelaide, South Australia;Univ. of Western Australia, Nedlands, Western Australia
Venue:
IEEE Transactions on Software Engineering
Year:
1991

Citing 13
Cited 18

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

ACM Transactions on Computer Systems (TOCS)
Combining queueing network and generalized stochastic petri net models for the analysis of some software blocking phenomena

IEEE Transactions on Software Engineering
Combining Queueing Networks and Generalized Stochastic Petri Nets for the Solution of Complex Models of System Behavior

IEEE Transactions on Computers
Closed queueing networks with batch services

Queueing Systems: Theory and Applications
Product form in networks of queues with batch arrivals and batch services

Queueing Systems: Theory and Applications
Open, Closed, and Mixed Networks of Queues with Different Classes of Customers

Journal of the ACM (JACM)
Product Form and Local Balance in Queueing Networks

Journal of the ACM (JACM)
Mean-Value Analysis of Closed Multichain Queuing Networks

Journal of the ACM (JACM)
A Characterization of Product-Form Queuing Networks

Journal of the ACM (JACM)
Computational algorithms for closed queueing networks with exponential servers

Communications of the ACM
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
PROTEAN: A High-Level Petri Net Tool for the Specification and Verification of Communication Protocols

IEEE Transactions on Software Engineering
Evaluation Based upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol

Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets

Arrival theorems for product-form stochastic Petri nets

SIGMETRICS '94 Proceedings of the 1994 ACM SIGMETRICS conference on Measurement and modeling of computer systems
Approximate Mean Value Analysis for Stochastic Marked Graphs

IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
Software engineering process support based on fuzzy imploding Petri nets

ACM-SE 30 Proceedings of the 30th annual Southeast regional conference
Exploiting structure in solution: decomposing compositional models

Lectures on formal methods and performance analysis
A Characterization of Independence for Competing Markov Chains with Applications to Stochastic Petri Nets

IEEE Transactions on Software Engineering
Product Form Solution for Generalized Stochastic Petri Nets

IEEE Transactions on Software Engineering
Product form solution for an insensitive stochastic process algebra structure

Performance Evaluation - Unified specification and performance evaluation using stochastic process algebras
Structural Characterization and Qualitative Properties of Product Form Stochastic Petri Nets

ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
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
Aggregation and Disaggregation in Product Form Queueing Petri Nets

PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Product-form and stochastic Petri nets: a structural approach

Performance Evaluation
Queueing networks with discrete time scale: explicit expressions for the steady state behavior of discrete time stochastic networks

Queueing networks with discrete time scale: explicit expressions for the steady state behavior of discrete time stochastic networks
State-dependent rates and semi-product-form via the reversed process

EPEW'10 Proceedings of the 7th European performance engineering conference on Computer performance engineering
Product-form solution in PEPA via the reversed process

Network performance engineering
Algorithms for second moments in batch-movement queueing systems

Mathematical and Computer Modelling: An International Journal
A brief survey and synthesis of the roles of time in petri nets

Mathematical and Computer Modelling: An International Journal
Mean-value analysis for a class of Petri nets and batch-movement queueing networks with product-form equilibrium distributions

Mathematical and Computer Modelling: An International Journal
A P- and T-invariant characterization of product form and decomposition in stochastic Petri nets

Performance Evaluation

Quantified Score

Hi-index	0.00

Visualization

Abstract

Embedded discrete time processes are used to study a class of SPNs (stochastic Petri nets) which have a closed-form equilibrium distribution. These SPNs have probabilistic output bags, colored tokens, and alternating periods of arbitrarily distributing enabling and firing times (periods of time between transitions becoming enabled and absorption of tokens and between transitions absorbing tokens and depositing them in output places, respectively). In addition, an aggregation procedure is proposed which, in certain nets, not only reduces a complex SPN to a much simpler skeleton SPN but also obtains results for the skeleton SPN with are exact marginal distributions for the original SPN.