@inproceedings{APP13,
	author = {Andr\'e, {\'E}tienne and Petrucci, Laure and Pellegrino, Giuseppe},
	booktitle = {11th International Conference on Formal Modeling and Analysis of Timed Systems ({FORMATS}'13)},
  	editor = {V\'ictor Braberman and Laurent Fribourg},
	location = {Buenos Aires, Argentina},
	month = aug,
	pages     = {1--15},
	publisher = {Springer},
	series = {Lecture Notes in Computer Science},
	title = {Precise Robustness Analysis of Time {P}etri Nets with Inhibitor Arcs},
	volume     = {8053},
	year = {2013},
}