@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} }