[pubblicazioni][]
@inproceedings{pop00049,
author = {A. Camurri and P. Franchi and M. Vitale},
title = {Extending high-level Petri nets for object-oriented design},
booktitle = {IEEE International Conference on Systems, Man and Cybernetics},
year = {1992},
}