Process versus unfolding semantics for Place/Transition Petri nets. Theoret (1996)

by J Meseguer, U Montanari, V Sassone
Venue:Comp. Sci