default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDATAED@Petri Nets/ACSD 2017: Zaragoza, Spain
- Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona:
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2017 Satellite event of the conferences: 38th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2017 and 17th International Conference on Application of Concurrency to System Design ACSD 2017, Zaragoza, Spain, June 26-27, 2017. CEUR Workshop Proceedings 1847, CEUR-WS.org 2017 - Sebastiaan J. van Zelst, Alfredo Bolt, Boudewijn F. van Dongen:
Tuning Alignment Computation: An Experimental Evaluation. 6-20 - Robert Lorenz, Johannes Metzger, Lev Sorokin:
Synthesis of Bounded Petri Nets from Prime Event Structures with Cutting Context using Wrong Continuations. 21-38 - Evgeny Erofeev, Harro Wimmel:
Reachability Graphs of Two-Transition Petri Nets. 39-54 - Krzysztof Lecki, Jerzy Tyszkiewicz, Jacek Sroka:
Structural Induction as a Method to Distribute the Generation of a Trace Language Representation for Complex Systems. 55-70 - Robin Bergenthum, Benjamin Meis:
Mining with Eve - Process Discovery and Event Structures. 71-75 - Ryszard Janicki, Jetty Kleijn, Maciej Koutny, Lukasz Mikulski:
On Synthesising Step Alphabets for Acyclic Invariant Structures. 76-88 - Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel:
On Stability of Regional Orthomodular Posets. 89-105 - Benjamin Dalmas, Niek Tax, Sylvie Norre:
Heuristics for High-Utility Local Process Model Mining. 106-121 - Uli Schlachter, Valentin Spreckels:
Synthesis of Labelled Transition Systems into Equal-Conflict Petri Nets. 122-130 - Ernesto López-Mellado, Tonatiuh Flores-Tapia:
Refining Discovered Petri Nets by Sequencing Repetitive Components. 131-138 - Markus Huber, Matthias Wolff:
Segmenting Sequences Semantically. Using Petri Net Transducers for the Translation from Sequential Data to Non-Sequential Models. 139-157 - Sergio Hernández, Pedro Álvarez, Javier Fabra, Joaquín Ezpeleta:
Using Model Checking to Identify Customers Purchasing Behaviour in an E-Commerce. 158-164
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 2024-10-31 20:22 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:
