DocumentCode
2630635
Title
Aggregation of states in colored stochastic Petri nets: application to a multiprocessor architecture
Author
Dutheillet, C. ; Haddad, S.
Author_Institution
Lab. MASI/CNRS, Univ. Pierre & Marie Curie, Paris, France
fYear
1989
fDate
11-13 Dec 1989
Firstpage
40
Lastpage
49
Abstract
A lumping method that is based on a particular class of colored Petri nets is presented. The originality of the method is that the states are aggregated a priori, thus avoiding the construction of the whole reachability graph. The authors construct only a graph of symbolic markings whose states are classes of markings and from which the solution can be directly computed. They show on an example that the method can be usefully applied to the performance evaluation of symmetric systems
Keywords
Petri nets; graph colouring; performance evaluation; stochastic processes; aggregation of states; colored stochastic Petri nets; lumping method; multiprocessor architecture; performance evaluation; reachability graph; symbolic markings; symmetric systems; Degradation; Delay; Fault tolerance; Markov processes; Petri nets; Protocols; Resource management; Stochastic processes; Stochastic systems; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
Petri Nets and Performance Models, 1989. PNPM89., Proceedings of the Third International Workshop on
Conference_Location
Kyoto
Type
conf
DOI
10.1109/PNPM.1989.68538
Filename
68538
Link To Document