DocumentCode
375570
Title
A comparison of the expressiveness of SPA and bounded SPN models
Author
Hillston, J. ; Recalde, L. ; Ribaudo, M. ; Silva, M.
Author_Institution
LFCS, Edinburgh Univ., UK
fYear
2001
fDate
2001
Firstpage
197
Lastpage
206
Abstract
This paper presents some transformation techniques from bounded SPN systems to corresponding SPA models, preserving concurrency. Initially, a simple algorithm is introduced, showing that the obtained SPA models simulate the net systems. Then the algorithm is improved in order to keep more of the net structure, when possible. For the case of non ordinary net systems the SPA language is extended by introducing a new cooperation operator
Keywords
Petri nets; concurrency control; performance evaluation; process algebra; Petri nets; SPA models; bounded SPN systems; concurrency; net structure; performance modelling; stochastic process algebras; transformation algorithm; Algebra; Bridges; Concurrent computing; Petri nets; Power system modeling; Probability distribution; Stochastic processes; Stochastic systems;
fLanguage
English
Publisher
ieee
Conference_Titel
Petri Nets and Performance Models, 2001. Proceedings. 9th International Workshop on
Conference_Location
Aachen
ISSN
1063-6714
Print_ISBN
0-7695-1248-8
Type
conf
DOI
10.1109/PNPM.2001.953369
Filename
953369
Link To Document