142 citations · 346 across the 11 of their papers we have counts for
1 paper · 1 filter
R. J. van Glabbeek, G. D. Plotkin
In this paper the correspondence between safe Petri nets and event structures, due to Nielsen, Plotkin and Winskel, is extended to arbitrary nets without self-loops, under the coll…