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.
This book is downloadable in PDF, ePub, Kindle and TXT format.
<div id="page-error">You currently don't have Adobe Reader installed. In order to view this file, please <a href="https://get.adobe.com/reader/" target="_blank">download Adobe Reader</a>.<br><br>Alternatively, you can try to <a href="https://www.free-ebooks.net/internet-technology/Incremental-Integer-Linear-Programming-Models-for-Petri-Nets-Reachability-Problems/pdf?dl&preview" target="_blank">open the preview in a new tab or window</a>.</div>
