default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDATAED@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
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.
last updated on 2025-03-05 21:01 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
