The PSR methodology: integrating hardware and software models

DOI10.1007/3-540-61363-3_8MaRDI QIDQ4633160zbMATH OpenOpenAlexFDO

Authors S. Donatelli, G. 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

parallel compositionprocess algebrarace policyserial linkshared memory

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 856546
• Modeling distributed real-time applications with Specification PEARL
• scientific article; zbMATH DE number 763717
• HW/SW components for real-time system Co-design
• scientific article; zbMATH DE number 1028729

Cites work

• A symbolic reachability graph for coloured Petri nets
• scientific article; zbMATH DE number 763717 (Why is no real title available?)
• scientific article; zbMATH DE number 956806 (Why is no real title available?)
• The benefits of sometimes not being discrete

Cited in

(1)

• The ins and outs of Petri net composition

Describes a project that uses

Uses Software

• PEPA

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4633160)