Author: Philippe Darondeau

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 …

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 …

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 …