Petri Net Synthesis

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 proces...

Full description

Bibliographic Details
Main Author: Badouel, Eric (Author)
Other Involved Persons: Bernardinello, Luca (Other) ; Darondeau, Philippe (Other)
Format: eBook
Language:English
Published: Berlin, Heidelberg : Springer 2015
Edition:1st ed. 2015
ISBN:9783662479674
3662479672
9783662479667
3662479664
Series:Texts in Theoretical Computer Science. An EATCS Series
SpringerLink. B├╝cher
Springer eBook Collection. Computer Science
Physical Description:Online-Ressource (XIII, 339 p. 140 illus., 1 illus. in color, online resource)
DOI:10.1007/978-3-662-47967-4
Subjects:
QR Code: Show QR Code