Manuel Silva Enrique Teruel José Manuel Colom Linear Algebraic and Linear Programming Techniques for the Analysis of Place or Transition Net Systems. 309-373 1996 conf/ac/1996petri1 Petri Nets db/conf/ac/petri1.html#SilvaTC96