Tampere University of Technology

TUTCRIS Research Portal

Stubborn Set Intuition Explained

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Details

Original languageEnglish
Title of host publicationPetri Nets and Software Engineering 2016
Subtitle of host publicationProceedings of the International Workshop on Petri Nets and Software Engineering 2016, including the International Workshop on Biological Processes & Petri Nets 2016
EditorsLawrence Cabac, Lars Michael Kristensen, Heiko Rölke
PublisherCEUR-WS
Pages213-232
Number of pages20
Publication statusPublished - 2016
Publication typeA4 Article in a conference publication
EventInternational Workshop on Petri Nets and Software Engineering, PNSE 2016, including the International Workshop on Biological Processes and Petri Nets, BioPPN 2016 - Torun, Poland
Duration: 20 Jun 201621 Jun 2016

Publication series

NameCEUR Workshop Proceedings
PublisherCEUR-WS
Volume1591
ISSN (Electronic)1613-0073

Conference

ConferenceInternational Workshop on Petri Nets and Software Engineering, PNSE 2016, including the International Workshop on Biological Processes and Petri Nets, BioPPN 2016
CountryPoland
CityTorun
Period20/06/1621/06/16

Abstract

This study focuses on the differences between stubborn sets and other partial order methods. First a major problem with step graphs is pointed out with an example. Then the deadlock-preserving stubborn set method is compared to the deadlock-preserving ample set and persistent set methods. Next, conditions are discussed whose purpose is to ensure that the reduced state space preserves the ordering of visible transitions, that is, transitions that may change the truth values of the propositions that the formula under verification has been built from. Finally solutions to the ignoring problem are analysed both when the purpose is to preserve only safety properties and when also liveness properties are of interest.

ASJC Scopus subject areas

Publication forum classification

Field of science, Statistics Finland