On the semantics of place/transition Petri nets Research partially supported by ESPRIT Basic Research Action CEDISYS. The first and the third authors have been supported by the US Office of Naval Research Contracts N00014-88-C-0618 and N00014-92-C-0158. The third author also acknowledges funding from EU Human Capital and Mobility grant ERBCHBGCT920005 and from BRICS Basic Research in Computer Science, Centre of the Danish National Research Foundation
Autores:UGO MONTANARI , Jose Meseguer, VLADIMIRO SASSONE