Philippe Darondeau Author

Dr. Eric Badouel is a researcher at IRISA/INRIA Rennes–Bretagne Atlantique in Rennes. His research interests include concurrency and Petri nets.

Dr. Luca Bernardinello is a researcher in the Dipartimento di Informatica, Sistemistica e Comunicazione of the Università degli studi di Milano-Bicocca. His research interests include concurrency and Petri nets.

Dr. Philippe Darondeau was a researcher at IRISA/INRIA Rennes–Bretagne Atlantique in Rennes. His research interests included concurrency and Petri nets. Dr. Darondeau passed away in 2013, during the final writing of the book.