LIBROS DEL AUTOR: luca bernardinello

1 resultados para LIBROS DEL AUTOR: luca bernardinello

luca bernardinello Eliminar filtro Quitar filtros
  • Petri Net Synthesis
    Eric Badouel / Luca Bernardinello / Philippe Darondeau
    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 ...
    Disponible

    99,59 €