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...
| Published in: | Springer eBooks |
|---|---|
| Main Authors: | , , |
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2015.
|
| Edition: | 1st ed. 2015. |
| Series: | Texts in Theoretical Computer Science. An EATCS Series,
|
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/978-3-662-47967-4 Перейти в каталог НБ ТГУ |