Technology Ebooks

Incremental Integer Linear Programming Models for Petri Nets Reachability Problems

Downloads: 25         Pages: 35

Published: 3 years ago

Rating: 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.


Thomas Bourdeaud'huy, Said Hanafi, Pascal Yim

You may also like...