The PSR methodology: Integrating hardware and software models

DOI10.1007/3-540-61363-3_8zbMath1418.68007OpenAlexW1589807041MaRDI QIDQ4633160

Susanna Donatelli, Giuliana Franceschinis

Publication date: 2 May 2019

Published in: Application and Theory of Petri Nets 1996 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61363-3_8

zbMATH Keywords

process algebrashared memoryparallel compositionrace policyserial link

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical problems of computer architecture (68M07)

Related Items (1)

The ins and outs of Petri net composition

Uses Software

• PEPA

Cites Work

• A symbolic reachability graph for coloured Petri nets
• The Benefits of Sometimes Not Being Discrete
• Unnamed Item
• Unnamed Item

This page was built for publication: The PSR methodology: Integrating hardware and software models