Robert Valette

According to our database, Robert Valette authored at least 34 papers between 1976 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Qu'est ce qu'un bon modèle?

Robert Valette

Bull. dInformatique Approfondie et Appl., 2011

2010

Bonnes propriétés et invariants d'un réseau de petri.

Robert Valette

Bull. dInformatique Approfondie et Appl., 2010

2009

Exemple des lecteurs et des écrivains. spécifications.

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 du photographe - Pas 1: Le réseau de Petri vu comme un ensemble d'automates communicants.

Robert Valette

Bull. dInformatique Approfondie et Appl., 2009

Introduction aux Réseaux de Petri.

Robert Valette

Bull. dInformatique Approfondie et Appl., 2009

Génèse de la théorie des Réseaux de Petri 1962-1973.

Robert Valette

Bull. dInformatique Approfondie et Appl., 2009

2008

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

2006

Fuzzy continuous resource allocation mechanisms in workflow management systems.

Joslaine Cristina Jeske de Freitas, Stéphane Julia, Robert Valette

Proceedings of the 2006 IEEE International Conference on Information Reuse and Integration, 2006

2005

A New Graph of Classes for the Preservation of Quantitative Temporal Constraints.

Xiaoyu Mao, Janette Cardoso, Robert Valette

Proceedings of the Automated Technology for Verification and Analysis, 2005

2004

Critical scenarios derivation methodology for mechatronic systems.

Hamid Demmou, Sarhane Khalfaoui, Edwige Guilhem, Robert Valette

Reliab. Eng. Syst. Saf., 2004

2003

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

Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

2001

Modeling, Simulation and Analysis of Batch Production Systems.

Ronan Champagnat, Robert Valette, Jean-Claude Hochon, Hervé Pingaud

Discret. Event Dyn. Syst., 2001

Rapid and modular prototyping-based Petri nets and distributed simulation for manufacturing systems.

Alexandre Nketsa, Robert Valette

Appl. Math. Comput., 2001

Reachability and Temporal Conflicts in t-Time Petri Nets.

Nicolas Rivière, Brigitte Pradin-Chezalviel, Robert Valette

Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

2000

Real time scheduling of batch systems.

Stéphane Julia, Robert Valette

Simul. Pract. Theory, 2000

1999

Possibilistic Petri nets.

Janette Cardoso, Robert Valette, Didier Dubois

IEEE Trans. Syst. Man Cybern. Part B, 1999

Scenario durations characterization of t-timed Petri nets using linear logic.

Brigitte Pradin-Chezalviel, Robert Valette, Luis Allan Künzle

Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

1998

Scheduling batch systems using a token player algorithm.

Stéphane Julia, Robert Valette, José M. Fernandes

Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997

Fuzzy Petri net-based programmable logic controller.

David Andreu, Jean-Claude Pascal, Robert Valette

IEEE Trans. Syst. Man Cybern. Part B, 1997

Some Issues About Petri Net Application to Manufacturing and Process Supervisory Control.

Robert Valette

Proceedings of the Application and Theory of Petri Nets 1997, 1997

1996

Petri Nets and Production Systems.

Manuel Silva Suárez, Enrique Teruel, Robert Valette, Hervé Pingaud

Proceedings of the Lectures on Petri Nets II: Applications, 1996

1990

Software Implementation of Petri nets and compilation of rule-based systems.

Robert Valette, Babou Bako

Proceedings of the Advances in Petri Nets 1991, 1990

1989

Petri nets with uncertain markings.

Janette Cardoso, Robert Valette, Didier Dubois

Proceedings of the Advances in Petri Nets 1990 [10th International Conference on Applications and Theory of Petri Nets, 1989

1988

Petri nets and flexible manufacturing.

Manuel Silva Suárez, Robert Valette

Proceedings of the Advances in Petri Nets 1989, 1988

1987

Joining Petri nets and knowledge based systems for monitoring purposes.

A. Sahraoui, H. Atabakhche, Marc Courvoisier, Robert Valette

Proceedings of the 1987 IEEE International Conference on Robotics and Automation, Raleigh, North Carolina, USA, March 31, 1987

1986

Nets in Production Systems.

Robert Valette

Proceedings of the Petri Nets: Central Models and Their Properties, 1986

1984

PSI: A Petri net based simulator for flexible manufacturing systems.

P. Alanche, K. Benzakour, F. Dollé, P. Gillet, P. Rodrigues, Robert Valette

Proceedings of the Advances in Petri Nets 1984, 1984

1982

Control of Flexible Production Systems and Petri Nets.

Robert Valette, Marc Courvoisier, D. Mayeux

Proceedings of the Applications and Theory of Petri Nets, 1982

1981

Task Synchronization in Distributed Real Time Control Systems.

Marc Courvoisier, Robert Valette, J. Golinski, Hamid Demmou

Proceedings of the IEEE Real-Time Systems Symposium, 1981

Petri Nets and Reliable Real Time Systems.

Robert Valette

Proceedings of the Application and Theory of Petri Nets, 1981

Overview on Topic 6: Reliability and Recovery Issues.

Robert Valette

Proceedings of the Application and Theory of Petri Nets, 1981

1979

Analysis of Petri Nets by Stepwise Refinements.

Robert Valette

J. Comput. Syst. Sci., 1979

1976

Petri nets as a common tool for design verification and hardware simulation.

Pierre Azéma, Robert Valette, Michel Diaz

Proceedings of the 13th Design Automation Conference, 1976