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.