Process versus unfolding semantics for Place/Transition Petri nets
José Meseguer, Ugo Montanari, Vladimiro SassoneVolume:
153
Year:
1996
Language:
english
Pages:
40
DOI:
10.1016/0304-3975(95)00121-2
File:
PDF, 3.17 MB
english, 1996