Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi
AlPiNA: An Algebraic Petri Net Analyzer
TACAS, 2010.
@inproceedings{TACAS-2010-BuchsHMR,
author = "Didier Buchs and Steve Hostettler and Alexis Marechal and Matteo Risoldi",
booktitle = "{Proceedings of the 16th International Conference on Tools and Algorithms for the Construction and Analysis of Systems}",
doi = "10.1007/978-3-642-12002-2_29",
isbn = "978-3-642-12001-5",
pages = "349--352",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{AlPiNA: An Algebraic Petri Net Analyzer}",
volume = 6015,
year = 2010,
}
Tags: