Avoiding Exponential Explosion in Petri Net Models of Control Flows

We look at modelling of a choice between several ‘bursts’ of concurrent actions in a Petri net. If ‘silent’ transitions are disallowed, a construction based on Cartesian product is traditionally used, resulting in an exponential explosion in the model size.We demonstrate that this exponential explosion can be avoided. We show the equivalence between this modelling problem and the problem of finding an edge clique cover of a complete …