“…Because our research lays on the interplay of model readability, state explosion and finding errors, combining both procedures worsens both the model readability and the state explosion problem. To alleviate the state explosion, a number of techniques have been proposed such as symmetry and equivalence [11], partial order [3], and sweep-line methods [22]. This paper proposes to reuse the CPN models from the previous work [17], [19], [22] to ensure the model correctness and adopt the prioritized transitions to make the model analyzable and alleviate the state explosion.…”