Cargando…

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autores principales: Badouel, Eric (Autor), Bernardinello, Luca (Autor), Darondeau, Philippe (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2015.
Edición:1st ed. 2015.
Colección:Texts in Theoretical Computer Science. An EATCS Series,
Temas:
Acceso en línea:Texto Completo

Ejemplares similares