English Petri net unfoldings Cited by user Alex.Yakov on 31 Jul 2021 Analysis of Petri nets can be performed by means of constructing either reachable state spaces (or reachable markings) or via the process of graph-based unfolding.