Buchs, et al.. Alpina: An Algebraic Petri Net Analyzer. Springer Berlin Heidelberg, 2010, doi:10.1007/978-3-642-12002-2_29.