For the most recent entries see the Petri Nets Newsletter.

The PSR Methodology: Integrating Hardware and Software Models.

Donatelli, Susanna; Franceschinis, Giuliana

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.


Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography