Incremental Integer Linear Programming Models for Petri Nets Reachability Problems
- / Home
- / Technology Books /
Author: Thomas Bourdeaud'huy, Said Hanafi, Pascal Yim
Downloads: 57
Visits: 1
Pages: 35
Published: 11 years agoRating: Rated: 0 times Rate It
- 1 star
- 2 stars
- 3 stars
- 4 stars
- 5 stars
Book Description
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.