Evaluation of high level Petri nets by means of aggregation and decomposition

Authors:
S. Haddad;P. Moreaux
Affiliations:
-;-
Venue:
PNPM '95 Proceedings of the Sixth International Workshop on Petri Nets and Performance Models
Year:
1995

Citing 6
Cited 5

A methodology for solving Markov models of parallel systems

Journal of Parallel and Distributed Computing
Stochastic Automata Network of Modeling Parallel Systems

IEEE Transactions on Software Engineering
High-level Petri nets: theory and application

High-level Petri nets: theory and application
On the stochastic structure of parallelism and synchronization models for distributed algorithms
Stochastic Well-Formed Colored Nets and Symmetric Modeling Applications

IEEE Transactions on Computers
Superposed Generalized Stochastic Petri Nets: Definition and Efficient Solution

Proceedings of the 15th International Conference on Application and Theory of Petri Nets

Structured Solution of Asynchronously Communicating Stochastic Modules

IEEE Transactions on Software Engineering
A simplified framework for stochastic workflow networks

Computers & Mathematics with Applications
Parametric stochastic well-formed nets and compositional modelling

ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Expressiveness and efficient analysis of stochastic well-formed nets

ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Structured analysis for component-based systems: an EJB/CORBA application

VECoS'07 Proceedings of the First international conference on Verification and Evaluation of Computer and Communication Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We introduce a new method combining the powerful stochastic well formed Petri net (SWN) model with the decomposition approach initiated by B. Plateau (1985). We derive necessary conditions on the modeled systems that allow for the two methods to be combined. For parallel systems satisfying these necessary conditions we develop two models with corresponding algorithms. The first model, which forbids color synchronization between components of the system yields to a strict generalization of each of the two methods. The second model which covers a large range of real life systems needs theoretical study which we have undertaken. An example shows the intuitive ideas behind these developments.