Special issue: Petri Nets 2007 : [... selection from the best papers of the 28th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency...

Veröffentlicht 2008

Distributed Synthesis of Asynchronously Communicating Distributed Process Models

von Kwantes, Pieter
Veröffentlicht in PETRI NETS (41. : 2020 : Online) Transactions on Petri nets and other models of concurrency XVI (2022)

Petri nets and other models of concurrency - ICATPN 2007 : 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Si...

Veröffentlicht 2007

Team Automata Work: On Safe Communication

von Beek, Maurice H. ter
Veröffentlicht in COORDINATION (22. : 2020 : Online) Coordination models and languages (2020)

Compositionality of Safe Communication in Systems of Team Automata

von Beek, Maurice H. ter
Veröffentlicht in ICTAC (17. : 2020 : Online) Theoretical aspects of computing - ICTAC 2020 (2020)

Transactions on Petri nets and other models of concurrency XII

Veröffentlicht 2017

Paradigms of concurrency : observations, behaviours and systems - a petri net view

von Janicki, Ryszard
Veröffentlicht 2022

Special issue on the Working Formal Methods Symposium (FROM 2018)

Veröffentlicht 2020

Application and theory of petri nets and concurrency : special issue of selected papers from Petri Nets 2022

Veröffentlicht 2024

Transactions on Petri nets and other models of concurrency XI

Veröffentlicht 2016