*For the most recent entries see the
Petri Nets Newsletter.*

## Petri Nets, Process Algebras and Concurrent Programming Languages.

Best, E.;
Devillers, R.;
Koutny, M.
In:
Reisig, W.; Rozenberg, G.: *Lecture Notes in Computer Science, Vol. 1492: Lectures on Petri Nets II: Applications*.
Springer-Verlag,
1998.
ISBN: 3-540-65307-4.

Abstract:
This paper discusses issues that arise when process algebras and Petri
nets are linked; in particular, operators, compositionality, 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.

*Do you need a refined search? Try our search engine
which allows complex field-based queries.*
*Back to the Petri Nets Bibliography*