Canonical Prefixes of Petri Net Unfoldings

DMCA

Canonical Prefixes of Petri Net Unfoldings (2001)

Cached

Other Repositories/Bibliography

DBLP

Save to List
Add to Collection
Correct Errors
Monitor Changes

by Victor Khomenko , Maciej Koutny , Walter Vogler

Citations:

28 - 6 self

BibTeX

@MISC{Khomenko01canonicalprefixes,
    author = {Victor Khomenko and Maciej Koutny and Walter Vogler},
    title = {Canonical Prefixes of Petri Net Unfoldings},
    year = {2001}
}

OpenURL

Abstract

In this paper, we develop a general technique for truncating Petri net unfoldings, parameterized according to the level of information about the original unfolding one wants to preserve. Moreover, we propose a new notion of completeness of a truncated unfolding, which with the standard parameters is strictly stronger than that given in [5, 6], and is more appropriate for the existing model checking algorithms.

Keyphrases

petri net unfolding canonical prefix general technique standard parameter truncated unfolding new notion

DMCA