Get started
Author

Philippe Darondeau

Theory of regions
1998 · Eric Badouel, Philippe Darondeau · Lecture notes in computer science · 252
Applications and Theory of Petri Nets 2005
2005 · Ciardo, Gianfranco, Darondeau, Philippe, et al. · Lecture notes in computer science · 199
Supervisory Control for Opacity
2010 · Jeremy Dubreil, Philippe Darondeau, et al. · IEEE Transactions on Automatic Control · 192
Concurrent Secrets
2007 · E. Badouel, M. Bednarczyk, et al. · Discrete Event Dynamic Systems · 145
Petri Net Synthesis
2015 · Eric Badouel, Luca Bernardinello, et al. · Texts in theoretical computer science · 133
Polynomial algorithms for the synthesis of bounded nets
1995 · Eric Badouel, Luca Bernardinello, et al. · Lecture notes in computer science · 133
PDF
The synthesis problem for elementary net systems is NP-complete
1997 · Eric Badouel, Luca Bernardinello, et al. · Theoretical Computer Science · 89
Opacity enforcing control synthesis
2008 · Jeremy Dubreil, Philippe Darondeau, et al. · International Workshop on Discrete Event Systems · 80
Distributing Finite Automata Through Petri Net Synthesis
2002 · Éric Badouel, Benoît Caillaud, et al. · Formal Aspects of Computing · 60
Deriving unbounded Petri nets from formal languages
1998 · Philippe Darondeau · Lecture notes in computer science · 57
On the Synthesis of General Petri Nets
1996 · Éric Badouel, Philippe Darondeau · 41
Refinement of actions in event structures and causal trees
1993 · Philippe Darondeau, Pierpaolo Degano · Theoretical Computer Science · 40
PDF
Model Identification and Synthesis of Discrete‐Event Systems
2015 · Maria Paola Cabasino, Philippe Darondeau, et al. · Wiley eBooks · 39
Causal trees interleaving + causality
1990 · Philippe Darondeau, Pierpaolo Degano · Lecture notes in computer science · 38
Concurrent Secrets
2006 · E. Badouel, M. Bednarczyk, et al. · International Workshop on Discrete Event Systems · 37
Unbounded Petri Net Synthesis
2004 · Philippe Darondeau · Lecture notes in computer science · 34
Trace nets and process automata
1995 · Eric Badouel, Philippe Darondeau · Acta Informatica · 31
Petri Net Distributability
2012 · Eike Best, Philippe Darondeau · Lecture notes in computer science · 29
Region Based Synthesis of P/T-Nets and Its Potential Applications
2000 · Philippe Darondeau · Lecture notes in computer science · 28
About fair asynchrony
1985 · Philippe Darondeau · Theoretical Computer Science · 25
PDF
A decomposition theorem for finite persistent transition systems
2009 · Eike Best, Philippe Darondeau · Acta Informatica · 24
Synthesis of Nets with Step Firing Policies
2009 · Philippe Darondeau, Maciej Koutny, et al. · Fundamenta Informaticae · 24
Distributed implementations of Ramadge-Wonham supervisory control with Petri nets
2006 · P. Darondeau · IEEE Conference on Decision and Control (CDC) · 22
Enforcing opacity of regular predicates on modal transition systems
2014 · Philippe Darondeau, Hervé Marchand, et al. · Discrete Event Dynamic Systems · 21
Event structures, causal trees, and refinements
1990 · Philippe Darondeau, Pierpaolo Degano · Lecture notes in computer science · 20
Works count: 116
Citation count: 2,119
H-index: 22
I10-index: 39
Year
Topic
Type