Abstract | ||
---|---|---|
Merged processes (MPs) are a recently proposed condensed representation of a Petri net's behaviour similar to branching processes (unfoldings), which copes well not only with concurrency but also with other sources of state space explosion like sequences of choices. They are by orders of magnitude more compact than traditional unfoldings, and yet can be used for efficient model checking. However, ... |
Year | DOI | Venue |
---|---|---|
2014 | 10.1093/comjnl/bxt014 | The Computer Journal |
Keywords | Field | DocType |
merged process,unravelling,Petri net unfolding,model checking,SAT,2QBF | Software engineering,Computer science,Theoretical computer science | Journal |
Volume | Issue | ISSN |
57 | 5 | 0010-4620 |
Citations | PageRank | References |
1 | 0.35 | 0 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Victor Khomenko | 1 | 286 | 20.67 |
Andrey Mokhov | 2 | 136 | 26.57 |