![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Transactions on Petri Nets and Other Models of Concurrency, Volume 16, 2022
- Maciej Koutny
, Fabrice Kordon
, Daniel Moldt:
Transactions on Petri Nets and Other Models of Concurrency XVI. Lecture Notes in Computer Science 13220, Springer Berlin Heidelberg 2022, ISBN 978-3-662-65303-6 - Luca Bernardinello, Irina A. Lomazova
, Roman Nesterov
, Lucia Pomello
:
Property-Preserving Transformations of Elementary Net Systems Based on Morphisms. 1-23 - Mitchel Brunings, Dirk Fahland, Boudewijn F. van Dongen:
Defining Meaningful Local Process Models. 24-48 - Pieter M. Kwantes, Jetty Kleijn:
Distributed Synthesis of Asynchronously Communicating Distributed Process Models. 49-72 - Torsten Liebke, Karsten Wolf:
Using Approximation for the Verification of Token-Scaling Models. 73-90 - Karsten Wolf:
Portfolio Management in Explicit Model Checking. 91-111 - Ashur Rafiev
, Jordan Morris
, Fei Xia
, Alex Yakovlev
, Matthew Naylor
, Simon W. Moore
, David B. Thomas
, Graeme M. Bragg
, Mark Vousden
, Andrew Brown:
Practical Distributed Implementation of Very Large Scale Petri Net Simulations. 112-139
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.