Valette, R.

• Mao, Xiaoyu; Cardoso, Janette; Valette, Robert:
  A New Graph of Classes for the Preservation of Quantitative Temporal Constraints. 2005.

• Demmou, Hamid; Guilhem, Edwige; Valette, Robert; Khalfaoui, Sarhane:
  An algorithm for deriving critical scenarios in mechatronic systems. 2002.

• Rivière, N.; Pradin-Chezalviel, B.; Valette, R.:
  Reachability and temporal conflicts in t-time PETRI nets. 2001.

• Cardoso, J.; Valette, R.; Dubois, D.:
  Possibilistic Petri nets. 1999.

• Pradin-Chezalviel, B.; Valette, R.; Kunzle, L.A.:
  Scenario durations characterization of T-timed Petri nets using linear logic. 1999.

• Silva, M.; Teruel, E.; Valette, R.; Pingaud, H.:
  Petri Nets and Production Systems. 1998.

• Champagnat, R.; Pingaud, H.; Alla, H.; Valentin-Roubinet, C.; Flaus, J.M.; Valette, R.:
  A gas storage example as a benchmark for hybrid modelling. 1998.

• Valette, Robert:
  Some Issues About Petri Net Application to Manufacturing and Process Supervisory Control. 1997.

• Cardoso, J.; Valette, R.; Pradin-Chezalviel, B.:
  Linear Logic for Imprecise Firings in Fuzzy Petri Nets. 1995.

• Cardoso, J.; Kunzle, L.A.; Valette, R.:
  Petri Net Based Reasoning for the Diagnosis of Dynamic Discrete Event Systems. 1995.

• Cardoso, J.; Valette, R.; Pradin-Chezalviel, B.:
  Fuzzy Petri Nets and Linear Logic. 1993.

• Silva, Manuel; Valette, Robert:
  Petri Nets and Flexible Manufacturing. 1990.

• Valette, Robert; Bako, Babou:
  Software Implementation of Petri Nets and Compilation of Rule-Based Systems. 1990.

• Cardoso, Janette; Valette, Robert; Dubois, Didier:
  Petri Nets with Uncertain Markings. 1989.

• Valette, R.; Cardoso, J.; Dubois, D.:
  Monitoring Manufacturing Systems by means of Petri Nets With Imprecise Markings. 1989.

• Valette, R.; Cardoso, J.; Atabakhche, H.; Courvoisier, M.; Lemaire, T.:
  Petri Nets and Production Rules for Decision Levels in F.M.S. Control. 1988.

• Valette, R.; Dubois, D.; Cardoso, J.:
  FMS State Modelling Taking Incidents into Account. 1988.

• Courvoisier, M.; Valette, R.; Pascal, J.C.; Barbalho, D.; Baudin, Y.; Benzakour, K.:
  Distributed Emulation of Flexible Manufacturing Systems. 1987.

• Sahraoui, A.; Atabakhche, H.; Courvoisier, M.; Valette, R.:
  Joining Petri Nets and Knowledge Based Systems for Monitoring Purposes. 1987.

• Valette, R.:
  Nets in Production Systems. 1987.

• Valette, R.; Atabakhche, H.:
  Petri Nets for Sequence Constraint Propagation in Knowledge Based Approaches. 1987.

• Atabakhche, H.; Barbalho, D.S.; Valette, R.; Courvoisier, M.:
  From Petri Net Based PCLs to Knowledge Based Control. 1986.

• Esteban, P.; Valette, R.; Courvoisier, M.:
  Simplified Algorithms for Petri Net Analysis. 1986.

• Alanche, P.; Benzakour, K.; Dollé, F.; Gillet, P.; Rodrigues, P.; Valette, R.:
  PSI: A Petri Net Based Simulator for Flexible Manufactoring Systems. 1985.

• Valette, R.; Courvoisier, M.; Demmou, H.; Bigou, J.M.; Desclaux, C.:
  Putting Petri Nets to Work for Controlling Flexible Manufacturing Systems. 1985.

• Valette, R.; Thomas, V.; Bachmann, S.:
  SEDRIC: Simulation of Discrete Events Based on Petri Nets. 1985.

• Courvoisier, M.; Valette, R.; Bigou, J.M.; Esteban, P.:
  A Programmable Logic Controller Based on a High Level Specification Tool. 1983.

• Demmou, H.; Courvoisier, M.; Thuriot, E.; Valette, R.:
  A New Synchronization Scheme for Microprocessor Based Real-Time Control Systems. 1983.

• Thuriot, E.; Valette, R.; Courvoisier, M.:
  Implementation of a Centralized Synchronization Concept for Production Systems (Flexible Manufacture Systems). 1983.

• Valette, R.; Courvoisier, M.; Bigou, J.M.:
  Penetration des Automates Programmables dans les Systemes Automatises. I. Les Reseaux d'Automates: Analyse de la Cooperation. 1983.

• Valette, R.; Courvoisier, M.; Bigou, J.M.; Albukerque, J.:
  Petri Net Based Programmable Logic Controllers. 1983.

• Valette, R.; Courvoisier, M.; Mayeux, D.:
  Control of Flexible Production Systems and Petri Nets. 1983.

• Valette, R.:
  Petri Nets and Reliable Real Time Systems. 1982.

• Brams, G.W.; Andre, C.; Berthelot, G.; Girault, C.; Memmi, G.; Roucairol, G.; Sifakis, J.; Valette, R.; Vidal-Naquet, G.:
  Reseaux de Petri: Theorie et Pratique. Tome 1: Theorie et Analyse; Tome 2: Modelisation et Applications. 1982.

• Courvoisier, M.; Valette, R.; Golinski, J.; Demmou, H.:
  Task Synchronization in Distributed Real Time Control Systems. 1981.

• Valette, R.; Golinski, J.; Courvoisier, M.:
  Towards a Secure Programmation of Task Synchronization. 1981.

• Valette, R.; Menasche, M.; Latapie, G.:
  Monitors Petri Nets and Error Confinement. 1980.

• Valette, R.:
  Analysis of Petri Nets by Stepwise Refinements. 1979.

• Valette, R.; Diaz, M.:
  A Methodology for Easily Provable Implementation of Synchronization Mechanisms. 1979.

• Ayache, J.M.; Diaz, M.; Valette, R.:
  A Methodology for Specifying Control in Electronic Switching Systems. 1979.

• Valette, R.; Diaz, M.:
  Top-down Formal Specification and Verification of Parallel Control Systems. 1978.

• Valette, R.:
  Comparative Study of Switching Representation Tool with GRAFCET and Petri Nets. 1978.

• Azéma, P.; Valette, R.; Renalier, M.:
  Programme de Simulation et d'Analyse des Schemas a Reseaux de Petri, en Langage APL. 1977.

• Courvoisier, M.; Valette, R.:
  Description and Realisation of Parallel Control Systems. 1977.

• Valette, R.:
  An Analysis Oriented Description of Paralell Systems Allowing Timing Considerations. 1977.

• Valette, R.:
  Description et Verification des Systemes Paralleles. 1977.

• Valette, R.; Courvoisier, M.:
  Recherche d'un Modele adapte aux Systemes de Commande de Processus a Evolutions Paralleles. 1977.

• Azéma, P.; Valette, R.; Diaz, M.:
  Petri Nets as a Common Tool for Design Verification and Hardware Simulation. 1976.

• Valette, R.:
  Sur la Description, l'Analyse et la Validation des Systemes de Commande Paralleles. 1976.

Back to the Petri Nets Bibliography