default search action
ATAED@Petri Nets/ACSD 2018: Bratislava, Slovakia
- Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona:
Proceedings of the International Workshop on Algorithms & Theories for the Analysis of Event Data 2018 Satellite event of the conferences: 39th International Conference on Application and Theory of Petri Nets and Concurrency Petri Nets 2018 and 18th International Conference on Application of Concurrency to System Design ACSD 2018, Bratislava, Slovakia, June 25, 2018. CEUR Workshop Proceedings 2115, CEUR-WS.org 2018 - Pieter M. Kwantes, Jetty Kleijn:
On the Synthesis of Industry Level Process Models from Enterprise Level Process Models. 6-22 - Luca Bernardinello, Irina A. Lomazova, Roman Nesterov, Lucia Pomello:
Compositional Discovery of Workflow Nets from Event Logs Using Morphisms. 23-38 - Luca Bernardinello, Carlo Ferigato, Lucia Pomello, Adrián Puerto Aubel:
On the Decomposition of Regional Events in Elementary Systems. 39-55 - Wil M. P. van der Aalst:
Relating Process Models and Event Logs - 21 Conformance Propositions. 56-74 - Raymond R. Devillers, Evgeny Erofeev, Thomas Hujsa:
Synthesis of Weighted Marked Graphs from Constrained Labelled Transition Systems. 75-90 - Kamila Barylska, Anna Gogolinska, Lukasz Mikulski, Anna Philippou, Marcin Piatkowski, Kyriaki Psara:
Reversing Computations Modelled by Coloured Petri Nets. 91-111 - Georgy Lukyanov, Andrey Mokhov:
Concurrency Oracles for Free. 112-127
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.