Benutzer: Gast  Login
Wenn Sie Schwierigkeiten haben, das Dokument zu öffnen, versuchen Sie auch bitte diesen Link
Originaltitel:
Observation Petri Nets
Übersetzter Titel:
Observation Petri-Netze
Autor:
Weil-Kennedy, Chana Yvonne Marie
Jahr:
2023
Dokumenttyp:
Dissertation
Fakultät/School:
TUM School of Computation, Information and Technology
Betreuer:
Esparza Estaun, Francisco Javier (Prof. Dr.)
Gutachter:
Esparza Estaun, Francisco Javier (Prof. Dr.); Haddad, Serge (Prof.)
Sprache:
en
Fachgebiet:
DAT Datenverarbeitung, Informatik
Stichworte:
Concurrent systems, Petri Nets, Parameterized Verification, Reachability Analysis
TU-Systematik:
DAT 500
Kurzfassung:
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.
Übersetzte Kurzfassung:
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
Eingereicht am:
15.11.2022
Mündliche Prüfung:
20.03.2023
Dateigröße:
2546818 bytes
Seiten:
127
Urn (Zitierfähige URL):
https://nbn-resolving.de/urn/resolver.pl?urn:nbn:de:bvb:91-diss-20230320-1691161-1-3
Letzte Änderung:
04.05.2023
 BibTeX