Petri nets with marking-dependent arc cardinality: Properties and analysis
Author:
- 1 January 1994
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 179-198
Abstract
No abstract availableKeywords
This publication has 11 references indexed in Scilit:
- A decomposition approach for stochastic reward net modelsPerformance Evaluation, 1993
- Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets1993
- Analysis of self-stabilizing clock synchronization by means of stochastic Petri netsIEEE Transactions on Computers, 1990
- Stochastic Petri net analysis of a replicated file systemIEEE Transactions on Software Engineering, 1989
- On Petri nets with deterministic and exponentially distributed firing times1987
- Language Theory of Petri Nets1987
- A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systemsACM Transactions on Computer Systems, 1984
- Generalizations of Petri nets1981
- On the computational power of extended petri nets1978
- Some decision problems related to the reachability problem for Petri netsTheoretical Computer Science, 1976