Contextual Merged Processes - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Contextual Merged Processes

Abstract

We integrate two compact data structures for representing state spaces of Petri nets: merged processes and contextual prefixes. The resulting data structure, called contextual merged processes (CMP), combines the advantages of the original ones and copes with several important sources of state space explosion: concurrency, sequences of choices, and concurrent read accesses to shared resources. In particular, we demonstrate on a number of benchmarks that CMPs are more compact than either of the original data structures. Moreover, we sketch a polynomial (in the CMP size) encoding into SAT of the model-checking problem for reachability properties.

Dates and versions

hal-00926202 , version 1 (09-01-2014)

Identifiers

Cite

César Rodríguez, Stefan Schwoon, Victor Khomenko. Contextual Merged Processes. 34th International Conference on Applications and Theory of Petri Nets (ICATPN'13), 2013, Italy. pp.29-48, ⟨10.1007/978-3-642-38697-8_3⟩. ⟨hal-00926202⟩
105 View
0 Download

Altmetric

Share

Gmail Mastodon Facebook X LinkedIn More