A characterization of independence for competing Markov chains with applications to stochastic Petri nets
- 1 July 1994
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Software Engineering
- Vol. 20 (7) , 536-544
- https://doi.org/10.1109/32.297942
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Exact parametric analysis of stochastic Petri netsIEEE Transactions on Computers, 1992
- Markovian Petri Net protocols with product form solutionPerformance Evaluation, 1991
- Generalization of queueing network product form solutions to stochastic Petri netsIEEE Transactions on Software Engineering, 1991
- Petri nets: Properties, analysis and applicationsProceedings of the IEEE, 1989
- Probabilistic Models and Asymptotic Results for Concurrent Processing with Exclusive and Non-Exclusive LocksSIAM Journal on Computing, 1985
- Probabilistic Models of Database LockingJournal of the ACM, 1984
- Modeling Bus Contention and Memory Interference in a Multiprocessor SystemIEEE Transactions on Computers, 1983
- Blocking in a Shared Resource EnvironmentIEEE Transactions on Communications, 1981
- Closed Queuing Systems with Exponential ServersOperations Research, 1967
- Networks of Waiting LinesOperations Research, 1957