Process versus Unfolding Semantics for Place/Transition Petri Nets

José Meseguer, Ugo Montanari, Vladimiro Sassone. Process versus Unfolding Semantics for Place/Transition Petri Nets. Theoretical Computer Science, 153(1&2):171-210, 1996. [doi]

Abstract

Abstract is missing.