@inproceedings {MCM-SEPN-00,
	title = {Performance Evaluation for the Design of Agent Based Systems: A Petri Net Approach},
	year = {2000},
	month = {6},
	pages = {1-20},
	publisher = {University of Aarhus},
	organization = {University of Aarhus},
	author = {Jos{\'e} Merseguer and J. Campos and E. Mena},
	editor = {M. Pezz{\`e} and S.M. Shatz}
}

