DocumentCode
765234
Title
Performance evaluation of communicating sequential processes (CSP) using Petri nets
Author
Magott, J.
Author_Institution
Inst. of Eng. Cybern., Techn. Univ., Wroclaw, Poland
Volume
139
Issue
3
fYear
1992
fDate
5/1/1992 12:00:00 AM
Firstpage
237
Lastpage
241
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;
fLanguage
English
Journal_Title
Computers and Digital Techniques, IEE Proceedings E
Publisher
iet
ISSN
0143-7062
Type
jour
Filename
141541
Link To Document