Process versus Unfolding Semantics for Place/Transition Petri Nets (1996)

by J Meseguer, U Montanari, V Sassone
Venue:Theoretical Computer Science