Login
- 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
Occurrences:
- mediaTUM GesamtbestandElektronische PrüfungsarbeitenSchoolTUM School of Computation, Information and Technology
- mediaTUM GesamtbestandHochschulbibliographie2023Schools und FakultätenTUM School of Computation, Information and TechnologyInformatik 7 - Lehrstuhl für Theoretische Informatik (Prof. Esparza)