Using linear programming in Petri net analysis Jean B. Lasserre, Philippe Mahey (1989) RAIRO - Operations Research - Recherche Opérationnelle