2022

Application and theory of petri nets and concurrency : 43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19-24, 2022, proceedings

International Conference on Applications and Theory of Petri Nets and Concurrency (43rd : 2022 : Bergen, Norway)

Cham, Switzerland : Springer, 2022

 

2011

Applications and theory of petri nets : 32nd International Conference, PETRI NETS 2011, Newcastle, UK, June 20-24, 2011, Proceedings

International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency (32nd : 2011 : Newcastle upon Tyne, England)



 

2017

Critical systems : formal methods and automated verification : Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verifica

International Workshop on Formal Methods for Industrial Critical Systems (22nd : 2017 : Turin, Italy), jointly held conference.

Cham, Switzerland : Springer, 2017

 

2023

Formal modeling and analysis of timed systems : 21st International Conference, FORMATS 2023, Antwerp, Belgium, September 19-21, 2023, Proceedings

FORMATS (Conference) (21st : 2023 : Antwerp, Belgium)

Cham : Springer, 2023