

Author: Thomas Bourdeaud'huy, Said Hanafi, Pascal Yim
Downloads: 47
Pages: 35
Published: 7 years agoRating: Rated: 0 times Rate It
A study on techniques for solving reachability problems in PN and TPN based on mathematical programming. An incremental search using step sequences that represent parallel and reentrant firings of transitions.