Showing papers by "Maciej Koutny published in 1996"
01 Sep 1996
TL;DR: Issues that arise when process algebras and Petri nets are linked are discussed, in particular, operators, compositional ity, recursion, refinement and equivalences, and how Petri net methods can be applied to the verification of concurrent algorithms.
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 how Petri net methods can be applied to the verification of concurrent algorithms.
30 citations