Improving explicit model checking for Petri nets
Liebke, Torsten
1985-
VerfasserIn
aut
Wolf, Karsten
1967-
AkademischeR BetreuerIn
dgs
Srba, Jiri
AkademischeR BetreuerIn
dgs
Universität Rostock
Grad-verleihende Institution
dgg
Universität Rostock
Fakultät für Informatik und Elektrotechnik
Grad-verleihende Institution
dgg
text
theses
Text
Hochschulschrift
gw
2020
monographic
XA-DE
Rostock
Universität Rostock
publisher
2020
Rostock
Universitätsbibliothek
distributor
eng
ger
1 Online-Ressource
Model checking is the automated verification that systematically checks if a given behavioral property holds for a given model of a system. We use Petri nets and temporal logic as formalisms to describe a system and its behavior in a mathematically precise and unambiguous manner. The contributions of this thesis are concerned with the improvement of model checking efficiency both in theory and in practice. We present two new reduction techniques and several supplementary strength reduction techniques. The thesis also enhances partial order reduction for certain temporal logic classes.<eng>
vorgelegt von Torsten Liebke
GutachterInnen: Karsten Wolf (University of Rostock, Germany) ; Jiri Srba (University of Aalborg, Denmark)
Dissertation Universität Rostock 2021
004
http://purl.uni-rostock.de/rosdok/id00003271
https://doi.org/10.18453/rosdok_id00003271
https://nbn-resolving.org/urn:nbn:de:gbv:28-rosdok_id00003271-3
https://d-nb.info/1293535133/34
Improving explicit model checking for Petri nets
Rostock : Universität Rostock, 2020
Druck-Ausgabe
(DE-627)1775302792
Liebke, Torsten, 1985 -
urn:nbn:de:gbv:28-rosdok_id00003271-3
10.18453/rosdok_id00003271
1277146006
rda
DE-627
211019
1774469006
20251226T195355.0
Converted from MARCXML to MODS version 3.8 using MARC21slim2MODS3-8_XSLT1-0.xsl
(Revision 1.174 20250328)
ger