In: Lecture Notes in Computer Science, Vol. 1091; Proc. 17th International Conference in Application and Theory of Petri Nets (ICATPN'96), Osaka, Japan, pages 133-152. Springer-Verlag, June 1996.
Abstract: This paper proposes a new methodology for the construction of integrated hardware-software CSPN models. The PSR methodology is an extension of the Process/Resource Box methodology: 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.