Philippe Darondeau – författare
Visar alla böcker från författaren Philippe Darondeau. Handla med fri frakt och snabb leverans.
8 produkter
Synthesis and Control of Discrete Event Systems
Av Benoît Caillaud, Philippe Darondeau m. fl.
Inbunden, 2002
1096 kr
Lägg i varukorg
This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems. Papers col lected in this volume are based on a selection of talks given in June and July 2001 at two independent meetings: the Workshop on Synthesis of …
Synthesis and Control of Discrete Event Systems
Av Benoît Caillaud, Philippe Darondeau m. fl.
Häftad, 2010
1096 kr
Lägg i varukorg
This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems. Papers col lected in this volume are based on a selection of talks given in June and July 2001 at two independent meetings: the Workshop on Synthesis of …
Synthesis and Control of Discrete Event Systems
Av Xiaolan Xie, Luciano Lavagno m. fl.
E-bok, 2013
1459 kr
Lägg i varukorg
This book aims at providing a view of the current trends in the development of research on Synthesis and Control of Discrete Event Systems. Papers col lected in this volume are based on a selection of talks given in June and July 2001 at two independent meetings: the Workshop on Synthesis of …
Applications and Theory of Petri Nets 2005
26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings
Av Gianfranco Ciardo, Philippe Darondeau
Häftad, 2005
568 kr
Lägg i varukorg
This volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2005). The Petri net conferences serve to discuss yearly progress in the ?eld of Petri nets and related models of concurrency, and to foster new …
Applications and Theory of Petri Nets 2005
26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings
Av Philippe Darondeau, Gianfranco Ciardo
E-bok, 2005
718 kr
Lägg i varukorg
This volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other Models of Concurrency (ICATPN 2005). The Petri net conferences serve to discuss yearly progress in the ?eld of Petri nets and related models of concurrency, and to foster new …
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 …
