Robert Valette

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2011
Qu'est ce qu'un bon modèle?
Bull. dInformatique Approfondie et Appl., 2011

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

2009
Exemple des lecteurs et des écrivains. spécifications.
Bull. dInformatique Approfondie et Appl., 2009

Définitions formelles des réseaux de petri.
Bull. dInformatique Approfondie et Appl., 2009

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

Introduction aux Réseaux de Petri.
Bull. dInformatique Approfondie et Appl., 2009

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

Fuzzy Continuous Resource Allocation Mechanisms in Workflow Management Systems.
Proceedings of the XXIII Brazilian Symposium on Software Engineering, 2009

2008
Real time scheduling of Workflow Management Systems based on a p-time Petri net model with hybrid resources.
Simul. Model. Pract. Theory, 2008

2005
A New Graph of Classes for the Preservation of Quantitative Temporal Constraints.
Proceedings of the Automated Technology for Verification and Analysis, 2005

2004
Critical scenarios derivation methodology for mechatronic systems.
Reliab. Eng. Syst. Saf., 2004

2003
Differential Predicate Transition Petri Nets and Objects, an Aid for Proving Properties in Hybrid Systems.
Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems, 2003

2001
Modeling, Simulation and Analysis of Batch Production Systems.
Discret. Event Dyn. Syst., 2001

Rapid and modular prototyping-based Petri nets and distributed simulation for manufacturing systems.
Appl. Math. Comput., 2001

Reachability and Temporal Conflicts in t-Time Petri Nets.
Proceedings of the 9th International Workshop on Petri Nets and Performance Models, 2001

2000
Real time scheduling of batch systems.
Simul. Pract. Theory, 2000

1999
Possibilistic Petri nets.
IEEE Trans. Syst. Man Cybern. Part B, 1999

Scenario durations characterization of t-timed Petri nets using linear logic.
Proceedings of the 8th International Workshop on Petri Nets and Performance Models, 1999

1998
Scheduling batch systems using a token player algorithm.
Proceedings of the IEEE International Conference on Systems, Man and Cybernetics, 1998

1997
Fuzzy Petri net-based programmable logic controller.
IEEE Trans. Syst. Man Cybern. Part B, 1997

Some Issues About Petri Net Application to Manufacturing and Process Supervisory Control.
Proceedings of the Application and Theory of Petri Nets 1997, 1997

1996
Petri Nets and Production Systems.
Proceedings of the Lectures on Petri Nets II: Applications, 1996

1990
Software Implementation of Petri nets and compilation of rule-based systems.
Proceedings of the Advances in Petri Nets 1991, 1990

1989
Petri nets with uncertain markings.
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.
Proceedings of the Advances in Petri Nets 1989, 1988

1987
Joining Petri nets and knowledge based systems for monitoring purposes.
Proceedings of the 1987 IEEE International Conference on Robotics and Automation, Raleigh, North Carolina, USA, March 31, 1987

1986
Nets in Production Systems.
Proceedings of the Petri Nets: Central Models and Their Properties, 1986

1984
PSI: A Petri net based simulator for flexible manufacturing systems.
Proceedings of the Advances in Petri Nets 1984, 1984

1982
Control of Flexible Production Systems and Petri Nets.
Proceedings of the Applications and Theory of Petri Nets, 1982

1981
Task Synchronization in Distributed Real Time Control Systems.
Proceedings of the IEEE Real-Time Systems Symposium, 1981

Petri Nets and Reliable Real Time Systems.
Proceedings of the Application and Theory of Petri Nets, 1981

Overview on Topic 6: Reliability and Recovery Issues.
Proceedings of the Application and Theory of Petri Nets, 1981

1979
Analysis of Petri Nets by Stepwise Refinements.
J. Comput. Syst. Sci., 1979

1976
Petri nets as a common tool for design verification and hardware simulation.
Proceedings of the 13th Design Automation Conference, 1976


  Loading...