Skip to Main Content
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.
Computers and Digital Techniques, IEE Proceedings E (Volume:139 , Issue: 3 )
Date of Publication: May 1992