![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Transactions on Petri Nets and Other Models of Concurrency, Volume 14, 2019
- Maciej Koutny, Lucia Pomello, Lars Michael Kristensen:
Transactions on Petri Nets and Other Models of Concurrency XIV. Lecture Notes in Computer Science 11790, Springer 2019, ISBN 978-3-662-60650-6 - Wil M. P. van der Aalst
, Josep Carmona, Thomas Chatain, Boudewijn F. van Dongen:
A Tour in Process Mining: From Practice to Algorithmic Challenges. 1-35 - Karsten Wolf:
How Petri Net Theory Serves Petri Net Model Checking: A Survey. 36-63 - Étienne André
, Michal Knapik
, Didier Lime
, Wojciech Penczek
, Laure Petrucci
:
Parametric Verification: An Introduction. 64-100 - David Mosteller, Michael Haustermann, Daniel Moldt, Dennis Schmitz:
Integrated Simulation of Domain-Specific Modeling Languages with Petri Net-Based Transformational Semantics. 101-125 - Alejandro Rodríguez
, Lars Michael Kristensen, Adrian Rutle:
Formal Modelling and Incremental Verification of the MQTT IoT Protocol. 126-145 - Ramchandra Phawade:
Kleene Theorems for Free Choice Automata over Distributed Alphabets. 146-171 - Raymond R. Devillers, Evgeny Erofeev, Thomas Hujsa
:
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems: A Geometric Approach. 172-191 - Anja F. Syring, Niek Tax
, Wil M. P. van der Aalst
:
Evaluating Conformance Measures in Process Mining Using Conformance Propositions. 192-221 - Uli Schlachter
, Harro Wimmel:
Relabelling LTS for Petri Net Synthesis via Solving Separation Problems. 222-254
![](https://dblp1.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.