Incremental Integer Linear Programming Models for Petri Nets Reachability Problems
Reads:
57
Pages:
35
Published:
Nov 2013
A study on techniques for solving reachability problems in PN and TPN based on mathematical programming. An incremental search using step sequences that repre...
Formats: PDF