Petri Net Synthesis

by Eric Badouel

Book Overview

This book is a comprehensive, systematic survey of the synthesis problem, and of region theory which underlies its solution, covering the related theory, algorithms, and applications. The authors focus on safe Petri nets and place/transition nets (P/T-nets), treating synthesis as an automated process which, given behavioural specifications or partial specifications of a system to be realized, decides whether the specifications are feasible, and...

• Format: Hardcover
• Language: English
• ISBN: 3662479664
• ISBN13: 9783662479667
• Release Date: November 2015
• Publisher: Springer
• Length: 339 Pages
• Weight: 1.48 lbs.
• Dimensions: 0.8" x 6.1" x 9.2"