@proceedings{DBLP:conf/apn/2005,
editor = {Gianfranco Ciardo and
Philippe Darondeau},
title = {Applications and Theory of Petri Nets 2005, 26th International
Conference, ICATPN 2005, Miami, USA, June 20-25, 2005, Proceedings},
booktitle = {ICATPN},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3536},
year = {2005},
isbn = {3-540-26301-2},
bibsource = {DBLP, http://dblp.uni-trier.de}
}