User: Guest  Login
If you experience problems opening the document, please try this link.
Original title:
Observation Petri Nets
Translated title:
Observation Petri-Netze
Author:
Weil-Kennedy, Chana Yvonne Marie
Year:
2023
Document type:
Dissertation
Faculty/School:
TUM School of Computation, Information and Technology
Advisor:
Esparza Estaun, Francisco Javier (Prof. Dr.)
Referee:
Esparza Estaun, Francisco Javier (Prof. Dr.); Haddad, Serge (Prof.)
Language:
en
Subject group:
DAT Datenverarbeitung, Informatik
Keywords:
Concurrent systems, Petri Nets, Parameterized Verification, Reachability Analysis
TUM classification:
DAT 500
Abstract:
Petri nets are a classic model for concurrent systems. They model fundamental features such as synchronization, process creation, and choice. Many subclasses of Petri nets have been defined by forbidding one or more of these features. We introduce a feature called observation, which is a restricted form of synchronization. We develop the theory of observation Petri nets, defined as the class of nets in which all synchronization is observation, and study the complexity of analysis problems.
Translated abstract:
Petrinetze sind ein klassisches Modell für nebenläufige Systeme. Sie modellieren Merkmale wie Synchronisation, Prozessbildung und Auswahl. Viele Unterklassen von Petrinetzen wurden durch das Verbot eines oder mehrerer dieser Merkmale definiert. Wir führen ein Merkmal ein, das wir Observation nennen und das eine eingeschränkte Form der Synchronisation ist. Wir entwickeln die Theorie der Observation Petrinetze, definiert als die Klasse der Netze, in denen alle Synchronisation Observation ist.
WWW:
https://mediatum.ub.tum.de/?id=1691161
Date of submission:
15.11.2022
Oral examination:
20.03.2023
File size:
2546818 bytes
Pages:
127
Urn (citeable URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20230320-1691161-1-3
Last change:
04.05.2023
 BibTeX