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
- Contributor
- 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
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Lorenz, Robert
- Metzger, Johannes
- Sorokin, Lev
- Aalst, Wil van der
- Bergenthum, Robin
- Carmona, Josep
- Universität Augsburg
- CEUR-WS.org
Time of origin
- 2017