A Formal Model for System Oriented Architecture. - Philippe Darondeau; Serge Guiboud-Ribaud; Claude Otrage (IFIP Congress, 1974)

Application de la strucuturation des systéme à la conception interne du système GEMAU. - Philippe Darondeau; Serge Guiboud-Ribaud; Claude Otrage (Symposium on Programming, 1974)

Processus non-séquentiels et leurs observations en univers non-centralisé. - Philippe Darondeau (Symposium on Programming, 1980)

Types in a Mixed Language System. - Philippe Darondeau; Paul Le Guernic; Michel Raynal (BIT, 1981)

An enlarged definition and complete axiomatization of observational congruence of finite processes. - Philippe Darondeau (Symposium on Programming, 1982)

On the Observational Semantics of Fair Parallelism. - Philippe Darondeau; Laurent Kott (ICALP, 1983)

A Fully Abstract Model of Fair Asynchrony. - Philippe Darondeau (Seminar on Concurrency, 1984)

A formal proof system for infinitary rational expressions. - Philippe Darondeau; Laurent Kott (Automata on Infinite Words, 1984)

Towards a Formal Proof System for omega-Rational Expressions. - Philippe Darondeau; Laurent Kott (Inf. Process. Lett., 1984)

About Fair Asynchrony. - Philippe Darondeau (Theor. Comput. Sci., 1985)

Separating and Testing. - Philippe Darondeau (STACS, 1986)

Une Critique de La Notion de Test de Processus Fondée Sur La Non Séparabilité de Certaines Classes de Langages. - Philippe Darondeau (RAIRO Theor. Informatics Appl., 1986)

A Fullt Observational Model for Infinite Behaviours of Communicating Systems. - Philippe Darondeau; B. Gamatie (TAPSOFT, Vol.1, 1987)

Causal Trees. - Philippe Darondeau; Pierpaolo Degano (ICALP, 1989)

Bisimulation and Effectiveness. - Philippe Darondeau (Inf. Process. Lett., 1989)

Concurrency and Computability. - Philippe Darondeau (Semantics of Systems of Concurrent Processes, 1990)

Causal Trees: Interleaving + Causality. - Philippe Darondeau; Pierpaolo Degano (Semantics of Systems of Concurrent Processes, 1990)

Event Structures, Causal Trees, and Refinements. - Philippe Darondeau; Pierpaolo Degano (MFCS, 1990)

Recursive Graphs are not Stable under Maximal Reduction. - Philippe Darondeau (Bull. EATCS, 1991)

About semantic action refinement. - Philippe Darondeau; Pierpaolo Degano (Fundam. Informaticae, 1991)

On Guarded Recursion. - Éric Badouel; Philippe Darondeau (Theor. Comput. Sci., 1991)

Structural Operational Specifications and the Trace Automata. - Éric Badouel; Philippe Darondeau (CONCUR, 1992)

Trace Nets. - Éric Badouel; Philippe Darondeau (REX Workshop, 1992)

Fairness, Distances and Degrees. - Philippe Darondeau; Doris Nolte; Lutz Priese; Serge Yoccoz (Theor. Comput. Sci., 1992)

Proof Systems for Infinite Behaviours - Philippe Darondeau; Serge Yoccoz (Inf. Comput., 1992)

Refinement of Actions in Event Structures and Causal Trees. - Philippe Darondeau; Pierpaolo Degano (Theor. Comput. Sci., 1993)

Dualities Between Nets and Automata Induced by Schizophrenic Objects. - Éric Badouel; Philippe Darondeau (Category Theory and Computer Science, 1995)

Polynomial Algorithms for the Synthesis of Bounded Nets. - Éric Badouel; Luca Bernardinello; Philippe Darondeau (TAPSOFT, 1995)

Trace Nets and Process Automata. - Éric Badouel; Philippe Darondeau (Acta Informatica, 1995)

Theory of Regions. - Éric Badouel; Philippe Darondeau (Petri Nets, 1996)

Stratified Petri Nets. - Éric Badouel; Philippe Darondeau (FCT, 1997)

The Synthesis Problem for Elementary Net Systems is NP-Complete. - Éric Badouel; Luca Bernardinello; Philippe Darondeau (Theor. Comput. Sci., 1997)

Deriving Unbounded Petri Nets from Formal Languages. - Philippe Darondeau (CONCUR, 1998)

Modelling Dynamic Agent Systems with Cooperating Automata. - Éric Badouel; Philippe Darondeau; Andrew Tokmakoff (PDPTA, 1999)

Context-Free Event Domains are Recognizable. - Éric Badouel; Philippe Darondeau; Jean-Claude Raoult (Inf. Comput., 1999)

Region Based Synthesis of P/T-Nets and Its Potential Applications. - Philippe Darondeau (ICATPN, 2000)

HMSCs as Partial Specifications ... with PNs as Completions. - Benoît Caillaud; Philippe Darondeau; Loïc Hélouët; Gilles Lesventes (MOVEP, 2000)

Generalized Automata and Their Net Representations. - Éric Badouel; Marek A. Bednarczyk; Philippe Darondeau (Unifying Petri Nets, 2001)

On the Petri net realization of context-free graphs. - Philippe Darondeau (Theor. Comput. Sci., 2001)

Distributing Finite Automata Through Petri Net Synthesis. - Éric Badouel; Benoît Caillaud; Philippe Darondeau (Formal Aspects Comput., 2002)

Unbounded Petri Net Synthesis. - Philippe Darondeau (Lectures on Concurrency and Petri Nets, 2003)

Linear control of live marked graphs. - Philippe Darondeau; X. Xie (Autom., 2003)

The synthesis of Petri nets from path-automatic specifications. - Éric Badouel; Philippe Darondeau (Inf. Comput., 2004)

Distributed implementations of Ramadge-Wonham supervisory control with Petri nets. - Philippe Darondeau (CDC/ECC, 2005)

Foreword. - René K. Boel; Philippe Darondeau; Sadatoshi Kumagai (Discret. Event Dyn. Syst., 2005)

Equality of languages coincides with isomorphism of reachable state graphs for bounded and persistent Petri nets. - Philippe Darondeau (Inf. Process. Lett., 2005)

Transition systems without transitions. - Andrzej M. Borzyszkowski; Philippe Darondeau (Theor. Comput. Sci., 2005)

Synthesis and Control of Asynchronous and Distributed Systems. - Philippe Darondeau (ACSD, 2007)

Concurrent Secrets. - Éric Badouel; Marek A. Bednarczyk; Andrzej M. Borzyszkowski; Benoît Caillaud; Philippe Darondeau (Discret. Event Dyn. Syst., 2007)

Making Petri Nets Safe and Free of Internal Transitions. - Eike Best; Philippe Darondeau; Harro Wimmel (Fundam. Informaticae, 2007)

Decomposition Theorems for Bounded Persistent Petri Nets. - Eike Best; Philippe Darondeau (Petri Nets, 2008)

On the Synthesis of Zero-Safe Nets. - Philippe Darondeau (Concurrency, Graphs and Models, 2008)

Products of Message Sequence Charts. - Philippe Darondeau; Blaise Genest; Loïc Hélouët (FoSSaCS, 2008)

A decomposition theorem for finite persistent transition systems. - Eike Best; Philippe Darondeau (Acta Informatica, 2009)

Synthesis of Nets with Step Firing Policies. - Philippe Darondeau; Maciej Koutny; Marta Pietkiewicz-Koutny; Alexandre Yakovlev (Fundam. Informaticae, 2009)

Supervisory control for modal specifications of services. - Philippe Darondeau; Jérémy Dubreil; Hervé Marchand (WODES, 2010)

On the Decidability of Non Interference over Unbounded Petri Nets - Eike Best; Philippe Darondeau; Roberto Gorrieri (SecCo, 2010)

Quasi-static scheduling of communicating tasks. - Philippe Darondeau; Blaise Genest; P. S. Thiagarajan; Shaofa Yang (Inf. Comput., 2010)

Supervisory Control for Opacity. - Jérémy Dubreil; Philippe Darondeau; Hervé Marchand (IEEE Trans. Autom. Control., 2010)

Towards Distributed Control of Discrete-Event Systems. - Philippe Darondeau; S. Laurie Ricker (ART @ Petri Nets, 2011)

Assembling Sessions. - Philippe Darondeau; Loïc Hélouët; Madhavan Mukund (ATVA, 2011)

Residuation of tropical series: Rationality issues. - Éric Badouel; Anne Bouillard; Philippe Darondeau; Jan Komenda (CDC/ECC, 2011)

Petri Net Distributability. - Eike Best; Philippe Darondeau (Ershov Memorial Conference, 2011)

Petri Net Reachability Graphs: Decidability Status of FO Properties. - Philippe Darondeau; Stéphane Demri; Roland Meyer 001; Christophe Morvan (FSTTCS, 2011)

Separability in Persistent Petri Nets. - Eike Best; Philippe Darondeau (Fundam. Informaticae, 2011)

Deciding Selective Declassification of Petri Nets. - Eike Best; Philippe Darondeau (POST, 2012)

Enforcing opacity of regular predicates on modal transition systems. - Philippe Darondeau (WODES, 2012)

Petri Net Reachability Graphs: Decidability Status of First Order Properties - Philippe Darondeau; Stéphane Demri; Roland Meyer 001; Christophe Morvan (Log. Methods Comput. Sci., 2012)

Distributed Control of Discrete-Event Systems: A First Step. - Philippe Darondeau; S. Laurie Ricker (Trans. Petri Nets Other Model. Concurr., 2012)

Enforcing opacity of regular predicates on modal transition systems. - Philippe Darondeau; Hervé Marchand; S. Laurie Ricker (Discret. Event Dyn. Syst., 2015)

Petri Net Synthesis - Éric Badouel; Luca Bernardinello; Philippe Darondeau (Springer, 2015)