activity
20092026
most citedSample compression schemes for balls in graphs

3 citations · 16 across the 19 of their papers we have counts for

collaborators
Showing 2018 · cs.LOShow all

1 paper · 2 filters

cs.LO2018

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 unfolds into an event structure . By a result of Thiagarajan (1996 and 2002), these unfol…