@inproceedings{LNNMQAPL14,
	author = {Le, Dinh-Thuan and Nguyen, Huu-Vu and Nguyen, Van-Tinh and Mai, Phuong-Nam and Quan, Thanh-Tho and Andr{\'e}, {\'E}tienne and Petrucci, Laure and Liu, Yang},
	title = {{PeCAn}: Compositional Verification of {P}etri Nets Made Easy},
	booktitle = {Proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis (ATVA'14)},
	doi = {10.1007/978-3-319-11936-6_18},
	editor = {Cassez, Franck and Raskin, Jean-Fran{\c{c}}ois},
	location = {Sydney, Australia},
	month = nov,
	pages = {242--247},
	publisher = {Springer LNCS},
	series    = {Lecture Notes in Computer Science},
	volume = {8837},
	year = {2014},
}