Luca Bernardinello – författare
Visar alla böcker från författaren Luca Bernardinello. Handla med fri frakt och snabb leverans.
5 produkter
Application and Theory of Petri Nets and Concurrency
43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings
Av Luca Bernardinello, Laure Petrucci
Häftad, 2022
848 kr
Lägg i varukorg
This book constitutes the proceedings of the 43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022, which was held virtually in June 2021.The 19 full papers presented in this volume were carefully reviewed and selected from 35 submissions. The papers …
Application and Theory of Petri Nets and Concurrency
43rd International Conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022, Proceedings
Av Laure Petrucci, Luca Bernardinello
E-bok, 2022
1091 kr
Lägg i varukorg
This book constitutes the proceedings of the 43rd International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2022, which was held virtually in June 2021. The 19 full papers presented in this volume were carefully reviewed and selected from 35 submissions. The …
Petri Net Synthesis
Av Eric Badouel, Luca Bernardinello m. fl.
Inbunden, 2015
660 kr
Lägg i varukorg
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 …
Petri Net Synthesis
Av Philippe Darondeau, Luca Bernardinello m. fl.
E-bok, 2015
880 kr
Lägg i varukorg
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 …
Petri Net Synthesis
Av Eric Badouel, Luca Bernardinello m. fl.
Häftad, 2016
660 kr
Lägg i varukorg
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 …
