Petri nets as a common tool for design verification and hardware simulation. - Pierre Azéma; Robert Valette; Michel Diaz (DAC, 1976)

Analysis of Petri Nets by Stepwise Refinements. - Robert Valette (J. Comput. Syst. Sci., 1979)

Overview on Topic 6: Reliability and Recovery Issues. - Robert Valette (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981)

Petri Nets and Reliable Real Time Systems. - Robert Valette (Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets, 1981)

Task Synchronization in Distributed Real Time Control Systems. - Marc Courvoisier; Robert Valette; J. Golinski; Hamid Demmou (RTSS, 1981)

Control of Flexible Production Systems and Petri Nets. - Robert Valette; Marc Courvoisier; D. Mayeux (European Workshop on Applications and Theory of Petri Nets, 1982)

PSI: A Petri net based simulator for flexible manufacturing systems. - P. Alanche; K. Benzakour; F. Dollé; P. Gillet; P. Rodrigues; Robert Valette (European Workshop on Applications and Theory in Petri Nets, 1984)

Nets in Production Systems. - Robert Valette (Advances in Petri Nets, 1986)

Joining Petri nets and knowledge based systems for monitoring purposes. - A. Sahraoui; H. Atabakhche; Marc Courvoisier; Robert Valette (ICRA, 1987)

Petri nets and flexible manufacturing. - Manuel Silva Suárez; Robert Valette (European Workshop on Applications and Theory in Petri Nets, 1988)

Petri nets with uncertain markings. - Janette Cardoso; Robert Valette; Didier Dubois (Applications and Theory of Petri Nets, 1989)

Software Implementation of Petri nets and compilation of rule-based systems. - Robert Valette; Babou Bako (Applications and Theory of Petri Nets, 1990)

Petri Nets and Production Systems. - Manuel Silva Suárez; Enrique Teruel; Robert Valette; Hervé Pingaud (Petri Nets (2), 1996)

Some Issues About Petri Net Application to Manufacturing and Process Supervisory Control. - Robert Valette (ICATPN, 1997)

Fuzzy Petri net-based programmable logic controller. - David Andreu 001; Jean-Claude Pascal; Robert Valette (IEEE Trans. Syst. Man Cybern. Part B, 1997)

Scheduling batch systems using a token player algorithm. - Stéphane Julia; Robert Valette; José M. Fernandes (SMC, 1998)

Scenario durations characterization of t-timed Petri nets using linear logic. - Brigitte Pradin-Chezalviel; Robert Valette; Luis Allan Künzle (PNPM, 1999)

Possibilistic Petri nets. - Janette Cardoso; Robert Valette; Didier Dubois (IEEE Trans. Syst. Man Cybern. Part B, 1999)

Real time scheduling of batch systems. - Stéphane Julia; Robert Valette (Simul. Pract. Theory, 2000)

Reachability and Temporal Conflicts in t-Time Petri Nets. - Nicolas Rivière; Brigitte Pradin-Chezalviel; Robert Valette (PNPM, 2001)

Rapid and modular prototyping-based Petri nets and distributed simulation for manufacturing systems. - Alexandre Nketsa; Robert Valette (Appl. Math. Comput., 2001)

Modeling, Simulation and Analysis of Batch Production Systems. - Ronan Champagnat; Robert Valette; Jean-Claude Hochon; Hervé Pingaud (Discret. Event Dyn. Syst., 2001)

Differential Predicate Transition Petri Nets and Objects, an Aid for Proving Properties in Hybrid Systems. - Emília Villani; Jean-Claude Pascal; Paulo E. Miyagi; Robert Valette (ADHS, 2003)

Critical scenarios derivation methodology for mechatronic systems. - Hamid Demmou; Sarhane Khalfaoui; Edwige Guilhem; Robert Valette (Reliab. Eng. Syst. Saf., 2004)

A New Graph of Classes for the Preservation of Quantitative Temporal Constraints. - Xiaoyu Mao; Janette Cardoso; Robert Valette (ATVA, 2005)

Fuzzy continuous resource allocation mechanisms in workflow management systems. - Joslaine Cristina Jeske de Freitas; Stéphane Julia; Robert Valette (IRI, 2006)

Real time scheduling of Workflow Management Systems based on a p-time Petri net model with hybrid resources. - Stéphane Julia; Fernanda Francielle de Oliveira; Robert Valette (Simul. Model. Pract. Theory, 2008)

Génèse de la théorie des Réseaux de Petri 1962-1973. - Robert Valette (Bull. dInformatique Approfondie et Appl., 2009)

Introduction aux Réseaux de Petri. - Robert Valette (Bull. dInformatique Approfondie et Appl., 2009)

Exemple du photographe - Pas 1: Le réseau de Petri vu comme un ensemble d'automates communicants. - Robert Valette (Bull. dInformatique Approfondie et Appl., 2009)

Définitions formelles des réseaux de petri. - Robert Valette (Bull. dInformatique Approfondie et Appl., 2009)

Exemple des lecteurs et des écrivains. spécifications. - Robert Valette (Bull. dInformatique Approfondie et Appl., 2009)

Bonnes propriétés et invariants d'un réseau de petri. - Robert Valette (Bull. dInformatique Approfondie et Appl., 2010)

Qu'est ce qu'un bon modèle? - Robert Valette (Bull. dInformatique Approfondie et Appl., 2011)