Performance evaluation of communicating sequential processes (CSP) using Petri nets

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.