![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
ATAED@Petri Nets/ACSD 2016: Torun, Poland
- Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona:
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2016 Satellite event of the conferences: 37th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2016 and 16th International Conference on Application of Concurrency to System Design ACSD 2016, Torun, Poland, June 20-21, 2016. CEUR Workshop Proceedings 1592, CEUR-WS.org 2016 - Pieter De Koninck, Jochen De Weerdt:
Determining the Number of Trace Clusters: a Stability-based Approach. 1-15 - Borja Vázquez-Barreiros, David Chapela, Manuel Mucientes, Manuel Lama, Diego Berea:
Process Mining in IT Service Management: A Case Study. 16-30 - Tonatiuh Tapia-Flores, Edelma Rodríguez-Pérez, Ernesto López-Mellado:
Discovering Process Models from Incomplete Event Logs using Conjoint Occurrence Classes. 31-46 - Benjamin Meis, Robin Bergenthum, Jörg Desel:
Synthesis of Elementary Net Systems with Final Configurations. 47-57 - Gabriel Juhás, Robert Lorenz:
Synthesis of bounded Petri Nets from Prime Event Structures with Cutting Context. 58-77 - Sergey A. Shershakov, Anna A. Kalenkova, Irina A. Lomazova:
Transition Systems Reduction: Balancing between Precision and Simplicity. 78-95 - María Teresa Gómez-López, Diana Borrego, Josep Carmona, Rafael M. Gasca:
Computing Alignments with Constraint Programming: The Acyclic Case. 96-110 - Kamila Barylska, Eike Best:
Properties of Plain, Pure, and Safe Petri Nets - with some Applications to Petri Net Synthesis. 111-125 - Julius Holderer, Josep Carmona, Günter Müller:
Security-Sensitive Tackling of Obstructed Workow Executions. 126-137 - Gert Janssenswillen, Benoît Depaire, Toon Jouck:
Calculating the Number of Unique Paths in a Block-Structured Process Model. 138-152 - Edelma Rodríguez-Pérez, Tonatiuh Tapia-Flores, Ernesto López-Mellado:
Identification of Timed Discrete Event Processes. Building Input-Output Petri Net Models. 153-167
![](https://dblp.org/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.