Integrating Synchronization with Priority into a Kronecker Representation

Authors:
Susanna Donatelli;Peter Kemper
Affiliations:
-;-
Venue:
TOOLS '00 Proceedings of the 11th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
Year:
2000

Citing 15
Cited 0

GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets

Performance Evaluation - Special issue: performance modeling tools
State minimization of finite state machines using implicit techniques

State minimization of finite state machines using implicit techniques
Numerical Analysis of Superposed GSPNs

IEEE Transactions on Software Engineering - Special issue: best papers of the sixth international workshop on Petri nets and performance models (PNPM'95)
On the stochastic structure of parallelism and synchronization models for distributed algorithms
Structured Solution of Asynchronously Communicating Stochastic Modules

IEEE Transactions on Software Engineering
On the Efficient Construction of the Tangible Reachability Graph of Generalized Stochastic Petri Nets

PNPM '87 The Proceedings of the Second International Workshop on Petri Nets and Performance Models
Modular State Level Analysis of Distributed Systems Techniques and Tool Support

TACAS '99 Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems
Reachability Analysis Based on Structured Representations

Proceedings of the 17th International Conference on Application and Theory of Petri Nets
Efficient Reachability Set Generation and Storage Using Decision Diagrams

Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution

Proceedings of the 15th International Conference on Application and Theory of Petri Nets
A Toolbox for Functional and Quantitative Analysis of DEDS

TOOLS '98 Proceedings of the 10th International Conference on Computer Performance Evaluation: Modelling Techniques and Tools
A Data Structure for the Efficient Kronecker Solution of GSPNs

PNPM '99 Proceedings of the The 8th International Workshop on Petri Nets and Performance Models
Assessing the Performance of Multiprocessor Architectures through SWN Models Simulation: A Case Study in the Field of Plant Automation Systems

SS '96 Proceedings of the 29th Annual Simulation Symposium (SS '96)
ON THE USE OF KRONECKER OPERATORS FOR THE SOLUTION OF GENERALIZED STOCHASTIC PETRI NETS

ON THE USE OF KRONECKER OPERATORS FOR THE SOLUTION OF GENERALIZED STOCHASTIC PETRI NETS
Complexity of Kronecker Operations on Sparse Matrices with Applications to the Solution of Markov Models

Complexity of Kronecker Operations on Sparse Matrices with Applications to the Solution of Markov Models

Quantified Score

Hi-index	0.00

Visualization

Abstract

The compositional representation of a Markov chain using Kronecker algebra, according to a compositional model representation as a superposed generalized stochastic Petri net or a stochastic automata network, has been studied for a while. In this paper we describe a generalized Kronecker structure, and its implementation, which is able to handle synchronization over activities of different levels of priority. The achieved Kronecker structure serves for functional analysis as well as performance analysis based on Markov chains.