Alexander Fronk Britta Kehden State space analysis of Petri nets with relation-algebraic methods. 15-47 2009 44 J. Symb. Comput. 1 http://dx.doi.org/10.1016/j.jsc.2008.04.005 db/journals/jsc/jsc44.html#FronkK09