Construction and SAT-based verification of Contextual Unfoldings - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2011

Construction and SAT-based verification of Contextual Unfoldings

Abstract

Unfoldings succinctly represent the set of reachable markings of a Petri net. Here, we shall consider the case of contextual nets, which extend Petri nets with read arcs, and which are more suitable to represent the case of concurrent read access. We discuss the problem of (efficiently) constructing unfoldings of such nets. On the basis of these unfoldings, various verification problems can be encoded as satisfiability problems in propositional logic.

Domains

Other [cs.OH]

Dates and versions

hal-00779945 , version 1 (22-01-2013)

Identifiers

Cite

Stefan Schwoon, César Rodríguez. Construction and SAT-based verification of Contextual Unfoldings. Proceedings of the 13th International Workshop on Descriptional Complexity of Formal Systems (DCFS'11), 2011, Limburg, Germany, Germany. pp.34-42, ⟨10.1007/978-3-642-22600-7_3⟩. ⟨hal-00779945⟩
88 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More