1
by Best, Eike, Devillers, Raymond, Koutny, Maciej
Published 2001
Springer Berlin Heidelberg
... and verification of concurrent systems. Petri Net Algebra takes its inspiration and methods from Process Algebra...

2
Published 2013
Springer Berlin Heidelberg
... team work, and Petri net education. Thus this volume gives a good view of ongoing concurrent systems...

3
Published 2014
Springer Berlin Heidelberg
... of ongoing concurrent systems and Petri nets research...

4
Published 2022
Springer Berlin Heidelberg
... on concurrent systems and Petri nets...

5
Published 2017
Springer Berlin Heidelberg
..., this volume gives a good overview of ongoing research on concurrent systems and Petri nets...

6
Published 2018
Springer Berlin Heidelberg
... systems. Thus, this volume gives a good overview of ongoing research on concurrent systems and Petri nets...

7
Published 2024
Springer Berlin Heidelberg
... systems, and net synthesis. Thus, this volume gives a good overview of ongoing research on concurrent...

8
Published 2021
Springer Berlin Heidelberg
... on concurrent systems and Petri nets...

9
Published 2016
Springer Berlin Heidelberg
... overview of ongoing research on concurrent systems and Petri nets...

10
Published 2019
Springer Berlin Heidelberg
... of ongoing research on concurrent systems and Petri nets...

11
Published 2001
Springer Berlin Heidelberg
... workshops on \Synthesis of Concurrent Systems" and \Concurrency in Dependable Computing". The tu- rial notes...