@inproceedings{LATA-2010-VelardoD,
author = "Fernando Rosa-Velardo and Giorgio Delzanno",
booktitle = "{Proceedings of the Fourth International Conference on Language and Automata Theory and Applications}",
doi = "10.1007/978-3-642-13089-2_44",
isbn = "978-3-642-13088-5",
pages = "524--535",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data}",
volume = 6031,
year = 2010,
}
Tags: