TY - GEN
T1 - The PSR methodology
T2 - 17th International Conference on Application and Theory of Petri Nets, 1996
AU - Donatelli, Susanna
AU - Franceschinis, Giuliana
N1 - Publisher Copyright:
© Springer-Verlag Berlin Heidelberg 1996.
PY - 1996
Y1 - 1996
N2 - This paper proposes a new methodology for the construction of integrated hardware-software GSPN models. The PSR methodology is an extension of the Process/Resource Box methodology defined in [5]: it consists of defining three submodels, the P level (processes), the S level (services) and the R, level (resources), and the composition rules to combine them into a complete integrated GSPN model of the whole system. This work has been motivated by the need of a systematic approach to the construction of (parallel) hardware-software models. The adequacy of the methodology is discussed through a running example of a relatively complex system.
AB - This paper proposes a new methodology for the construction of integrated hardware-software GSPN models. The PSR methodology is an extension of the Process/Resource Box methodology defined in [5]: it consists of defining three submodels, the P level (processes), the S level (services) and the R, level (resources), and the composition rules to combine them into a complete integrated GSPN model of the whole system. This work has been motivated by the need of a systematic approach to the construction of (parallel) hardware-software models. The adequacy of the methodology is discussed through a running example of a relatively complex system.
UR - http://www.scopus.com/inward/record.url?scp=84957710163&partnerID=8YFLogxK
U2 - 10.1007/3-540-61363-3_8
DO - 10.1007/3-540-61363-3_8
M3 - Conference contribution
AN - SCOPUS:84957710163
SN - 3540613633
SN - 9783540613633
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 133
EP - 152
BT - Application and Theory of Petri Nets 1996 - 17th International Conference, Proceedings
A2 - Reisig, Wolfgang
A2 - Billington, Jonathan
PB - Springer Verlag
Y2 - 24 June 1996 through 28 June 1996
ER -