Title :
Performance evaluation of communicating sequential processes (CSP) using Petri nets
Author_Institution :
Inst. of Eng. Cybern., Techn. Univ., Wroclaw, Poland
fDate :
5/1/1992 12:00:00 AM
Abstract :
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.
Keywords :
Petri nets; programming theory; CSP; Petri nets; performance evaluation; real-time systems; synchronised communication;
Journal_Title :
Computers and Digital Techniques, IEE Proceedings E
