Systems in stochastic equilibrium
Systems in stochastic equilibrium
Necessary and Sufficient Ergodicity Condition for Open Synchronized Queueing Networks
IEEE Transactions on Software Engineering
The Effect of Execution Policies on the Semantics and Analysis of Stochastic Petri Nets
IEEE Transactions on Software Engineering
An extension to Norton's equivalent
Queueing Systems: Theory and Applications
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
Markovian network processes: congestion-dependent routing and processing
Proceedings of the workshop held at the Mathematical Sciences Institute Cornell University on Mathematical theory of queueing systems
Embedded Processes in Stochastic Petri Nets
IEEE Transactions on Software Engineering
Markovian Petri Nets protocols with product form solution
Performance Evaluation
Product form equilibrium distributions and a convolution algorithm for stochastic Petri nets
Performance Evaluation
Open, Closed, and Mixed Networks of Queues with Different Classes of Customers
Journal of the ACM (JACM)
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Aggregation Methods in Exact Performance Analyssi of Stochastic Petri Nets
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Matrix Product Form Solution for Closed Synchronized Queuing Networks
PNPM '89 The Proceedings of the Third International Workshop on Petri Nets and Performance Models
Proceedings of the Advanced Course on General Net Theory of Processes and Systems: Net Theory and Applications
Decidability and Complexity of Petri Net Problems - An Introduction
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
On the Product Form Solution for Stochastic Petri Nets
Proceedings of the 13th International Conference on Application and Theory of Petri Nets
Product-form and stochastic Petri nets: a structural approach
Performance Evaluation
Parametric analysis of queuing networks
IBM Journal of Research and Development
Deficiency Zero Petri Nets and Product Form
Fundamenta Informaticae - Applications and Theory of Petri Nets and Other Models of Concurrency, 2009
| Hi-index | 0.00 |
Structural product form and decomposition results for stochastic Petri nets are surveyed, unified and extended. The contribution is threefold. First, the literature on structural results for product form over the number of tokens at the places is surveyed and rephrased completely in terms of T-invariants. Second, based on the underlying concept of group-local-balance, the product form results for stochastic Petri nets are demarcated and an intuitive explanation is provided of these results based on T-invariants, only. Third, a decomposition result is provided that is completely formulated in terms of both T-invariantsandP-invariants.