Branching Processes of General Petri Nets
Jean‐Michel Couvreur, Denis Poitrenaud, Pascal Weil · Fundamenta Informaticae · 2013
We propose a new model of branching processes, suitable for describing the behavior of general Petri nets, without any finiteness or safeness assumption. In this framework, we define a new class of branching processes and unfoldings of a net N, which