Embedded processes in stochastic Petri nets
- 1 January 1991
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 17 (2) , 108-116
- https://doi.org/10.1109/32.67592
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.Keywords
This publication has 19 references indexed in Scilit:
- Performance analysis: When do we give up on product form solutionsComputer Networks and ISDN Systems, 1990
- A net level performance analysis of stochastic Petri netsThe Journal of the Australian Mathematical Society. Series B. Applied Mathematics, 1989
- Stochastic petri nets with timed and immediate transitionsCommunications in Statistics. Stochastic Models, 1989
- Combining queueing networks and generalized stochastic Petri nets for the solution of complex models of system behaviorIEEE Transactions on Computers, 1988
- PROTEAN: a high-level Petri net tool for the specification and verification of communication protocolsIEEE Transactions on Software Engineering, 1988
- A discrete-time queueing networkJournal of Applied Probability, 1983
- A Characterization of Product-Form Queuing NetworksJournal of the ACM, 1983
- Product Form and Local Balance in Queueing NetworksJournal of the ACM, 1977
- Networks of queuesAdvances in Applied Probability, 1976
- Open, Closed, and Mixed Networks of Queues with Different Classes of CustomersJournal of the ACM, 1975