Improving explicit model checking for Petri nets Liebke, Torsten , 1985- (VerfasserIn) Wolf, Karsten , 1967- (AkademischeR BetreuerIn) Srba, Jiri (AkademischeR BetreuerIn) Universität Rostock (Grad-verleihende Institution) Universität Rostock Fakultät für Informatik und Elektrotechnik (Grad-verleihende Institution) Text theses Text Hochschulschrift 2020 2020 eng ger electronic resourceremoteComputermedienOnline-Ressource1 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--(DE-627)1775302792 urn:nbn:de:gbv:28-rosdok_id00003271-3 doi: 10.18453/rosdok_id00003271 oclc: 1277146006 ppn: (DE-627)1774469006