Chapter
Petri nets, process algebras and concurrent programming languages
Abstract
This paper discusses issues that arise when process algebras and Petri nets are linked; in particular, operators, compositional ity, recursion, refinement and equivalences. It uses the box algebra in order to show how Petri nets can be manipulated algebraically. Also, the paper shows how other process algebras such as CCS, COSY and CSP can be treated in the same way, how Petri net semantics of concurrent programming languages can be given, and …
Authors
Best E; Devillers R; Koutny M
Book title
Lectures on Petri Nets II: Applications
Series
Lecture Notes in Computer Science
Volume
1492
Pagination
pp. 1-84
Publisher
Springer Nature
Publication Date
1998
DOI
10.1007/3-540-65307-4_46