Performance evaluation of communicating sequential processes (CSP) using Petri nets
Jan Magott · IEE Proceedings E Computers and Digital Techniques · 1992
CSP has become a standard model for programming languages using synchronised communication. Performance evaluation of CSP modelled by Petri nets is investigated in the paper. The command execution time is expressed by non negative real numbers. Relationships among frequences of executing the commands are described by a vector with natural components. The model is useful in real-time systems design and verification.