[pubblicazioni][]
@inproceedings{Cam1991,
author = {A. Camurri and P. Franchi and F. Gandolfo },
title = {A Timed Colored Petri nets approach to process scheduling},
booktitle = {Proceedings of the 5th IEEE International conference CompEuro 91},
publisher = {IEEE Computer Society Press},
year = {1991},
pages = {304-309},
url = {http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=257401},
doi = {10.1109/CMPEUR.1991.257401}
}