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 :
بازگشت