1-Safe Petri nets and special cube complexes: equivalence and applications

Jérémie Chalopin, Victor Chepoi

Nielsen, Plotkin, and Winskel (1981) proved that every 1-safe Petri net $N$ unfolds into an event structure ${\mathcal{E}}_N$. By a result of Thiagarajan (1996 and 2002), these unfol…