1
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... Machines -- Verification tools for finite-state concurrent systems -- Linear logic on Petri nets...

2
Published 1983
Springer Berlin Heidelberg
Table of Contents: ... transformations giving B-equivalent PT-nets -- Equivalence notions for concurrent systems -- Milner’s...

3
Published 1985
Springer Berlin Heidelberg
Table of Contents: ... predicate/transition nets -- Semantics of concurrent systems: A modular fixed-point trace approach...

4
Published 1991
Springer Berlin Heidelberg
... in Concurrent Systems)...

5
Published 1993
Springer Berlin Heidelberg
.... The workshop was an activity of the project REX (Research andEducation in Concurrent Systems) sponsored...