Product Description: Covers the mathematical aspects of petri-nets and vector addition systems. The main topic is the accessibility decidability theorem, while the reachability problem is also discussed. Historical notes, references, proofs, exercises and illustrations are included in every chapter.

Product Description: This book is a systematic exposition of the theory of ratio- nal formal power series and the associated formal languages. It is the first to presentan algebraic approach. It con- tains all fundamental results, starting with the Kleene- Sch}tzenberger theorem, up to the latest developments...read more