Kurt Lautenbach Linear Algebraic Techniques for Place/Transition Nets. 142-167 1986 conf/ac/1986petri1 Advances in Petri Nets db/conf/ac/petri86-1.html#Lautenbach86