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
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;
Conference_Titel :
Petri Nets and Performance Models, 2001. Proceedings. 9th International Workshop on
Conference_Location :
Aachen
Print_ISBN :
0-7695-1248-8
DOI :
10.1109/PNPM.2001.953369