Petri Net, Theory and Applications,  ISBN: 978-3-902613-12-7

Incremental Integer Linear Programming Models for Petri Nets Reachability Problems

By Thomas Bourdeaud'huy, Said Hanafi and Pascal Yim

DOI: 10.5772/5327