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

Location
Deutsche Nationalbibliothek Frankfurt am Main
Extent
Online-Ressource
Language
Englisch
Notes
In: 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, S. 21-38

Bibliographic citation
CEUR Workshop Proceedings ; 1847

Event
Veröffentlichung
(where)
Augsburg
(who)
Universität Augsburg
(when)
2017
Event
Veröffentlichung
(who)
CEUR-WS.org
(when)
2017
Creator
Lorenz, Robert
Metzger, Johannes
Sorokin, Lev
Contributor
Aalst, Wil van der
Bergenthum, Robin
Carmona, Josep

URN
urn:nbn:de:bvb:384-opus4-554070
Rights
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Last update
14.08.2025, 10:50 AM CEST

Data provider

This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.

Associated

Time of origin

  • 2017

Other Objects (12)