Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming.

Thomas Bourdeaud'huy Saïd Hanafi Pascal Yim Solving the Petri Nets Reachability Problem Using the Logical Abstraction Technique and Mathematical Programming. 112-126 http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=3011&spage=112 2004 conf/cpaior/2004 CPAIOR db/conf/cpaior/cpaior2004.html#BourdeaudhuyHY04