@article{pop00076,
author = {A. Camurri and P. Franchi and M. Vitale},
title = {An object-oriented approach to High-Level Petri Nets},
booktitle = {Microprocessing and Microprogramming - The Euromicro Journal},
publisher = {Elsevier},
year = {1993},
volume = {35},
number = {1-5},
pages = {213-220},
url = {http://books.google.com/books?hl=en&lr=&id=1J_nLLw0jsIC&oi=fnd&pg=PA57&dq=%22Antonio+Camurri%22&ots=AjIleWADF8&sig=VhFW7IMux-TeTtwA3ooInbzG-KY},
}