Merged processes: a new condensed representation of Petri net behaviour

Abstract

Model checking based on Petri net unfoldings is an approach widely applied to cope with the state space explosion problem. In this paper, we propose a new condensed representation of a Petri net’s behaviour called merged processes, which copes well not only with concurrency, but also with other sources of state space explosion, viz sequences of choices and… (More)
DOI: 10.1007/s00236-006-0023-y

Topics

9 Figures and Tables

Statistics

051015'06'07'08'09'10'11'12'13'14'15'16'17'18
Citations per Year

60 Citations

Semantic Scholar estimates that this publication has 60 citations based on the available data.

See our FAQ for additional information.

Slides referencing similar topics