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

Author

Haddad, S. ; Moreaux, P.

Author_Institution

LAMSADE, Univ. Paris Dauphine, France

fYear

1995

fDate

3-6 Oct 1995

Firstpage

11

Lastpage

20

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

Keywords

Markov processes; Petri nets; continuous time systems; parallel algorithms; state-space methods; stochastic systems; synchronisation; aggregation; algorithms; decomposition; high level Petri net evaluation; modeled systems; parallel systems; real life systems; stochastic well formed Petri net model; Automata; Memory management; Petri nets; Power system modeling; State-space methods; Steady-state; Stochastic processes; Stochastic systems; Storage area networks; Tensile stress;

fLanguage

English

Publisher

ieee

Conference_Titel

Petri Nets and Performance Models, 1995., Proceedings of the Sixth International Workshop on

Conference_Location

Durham, NC

ISSN

1063-6714

Print_ISBN

0-8186-7210-2

Type

conf

DOI

10.1109/PNPM.1995.524311

Filename

524311