Synthesis of bounded Petri nets from prime event structures with cutting context using wrong continuations

Download full text files

Export metadata


Number of document requests

Additional Services

Share in Twitter Search Google Scholar
Author:Robert LorenzGND, Johannes Metzger, Lev Sorokin
Frontdoor URL
Parent Title (English):ATAED 2017: 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
Editor:Wil M. P. van der Aalst, Robin Bergenthum, Josep Carmona
Type:Conference Proceeding
Year of first Publication:2017
Publishing Institution:Universität Augsburg
Release Date:2019/06/04
First Page:21
Last Page:38
Series:CEUR Workshop Proceedings ; 1847
Institutes:Fakultät für Angewandte Informatik
Fakultät für Angewandte Informatik / Institut für Informatik
Fakultät für Angewandte Informatik / Institut für Informatik / Lehrprofessur für Nebenläufige Systeme
Dewey Decimal Classification:0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik
Licence (German):Deutsches Urheberrecht