@inproceedings{Cam1994a,
	author 	= {A. Batistoni and S. Barozzi and A. Camurri and P. Franchi and C. Mastroianni and C. Morelli and R. Sagoleo and V. Salomone},
	title 	= {Petri-net based real time simulation of industrial plants},
	booktitle 	= {IEEE International Conference on Systems, Man and Cybernetics},
	publisher 	= {IEEE Press},
	year 	= {1994},
	url 	= {http://ieeexplore.ieee.org/stamp/stamp.jsp?arnumber=00400143},
}