Direct Construction of Complete Merged Processes

  title={Direct Construction of Complete Merged Processes},
  author={Victor Khomenko and Andrey Mokhov},
  journal={Comput. J.},
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, constructing complete MPs is difficult, and the only known algorithm is based on building a… CONTINUE READING