Robert Valette

36 papers A* 2A 1B 2Misc 1Journal 15Unranked 14
YearRankTypeTitle / Venue / Authors
2011 J jnl
Qu'est ce qu'un bon modèle?
Bull. dInformatique Approfondie et Appl.
Robert Valette
2010 J jnl
Bonnes propriétés et invariants d'un réseau de petri.
Bull. dInformatique Approfondie et Appl.
Robert Valette
2009 J jnl
Définitions formelles des réseaux de petri.
Bull. dInformatique Approfondie et Appl.
Robert Valette
2009 J jnl
Exemple des lecteurs et des écrivains. spécifications.
Bull. dInformatique Approfondie et Appl.
Robert Valette
2009 J jnl
Exemple du photographe - Pas 1: Le réseau de Petri vu comme un ensemble d'automates communicants.
Bull. dInformatique Approfondie et Appl.
Robert Valette
2009 — conf
Fuzzy Continuous Resource Allocation Mechanisms in Workflow Management Systems.
SBES
Joslaine Cristina Jeske de Freitas, Stéphane Julia, Robert Valette
2009 J jnl
Génèse de la théorie des Réseaux de Petri 1962-1973.
Bull. dInformatique Approfondie et Appl.
Robert Valette
2009 J jnl
Introduction aux Réseaux de Petri.
Bull. dInformatique Approfondie et Appl.
Robert Valette
2008 J jnl
Real time scheduling of Workflow Management Systems based on a p-time Petri net model with hybrid resources.
Simul. Model. Pract. Theory
Stéphane Julia, Fernanda Francielle de Oliveira, Robert Valette
2006 Misc conf
Fuzzy continuous resource allocation mechanisms in workflow management systems.
IRI
Joslaine Cristina Jeske de Freitas, Stéphane Julia, Robert Valette
2005 B conf
A New Graph of Classes for the Preservation of Quantitative Temporal Constraints.
ATVA
Xiaoyu Mao, Janette Cardoso, Robert Valette
2004 J jnl
Critical scenarios derivation methodology for mechatronic systems.
Reliab. Eng. Syst. Saf.
Hamid Demmou, Sarhane Khalfaoui, Edwige Guilhem, Robert Valette
2003 — conf
Differential Predicate Transition Petri Nets and Objects, an Aid for Proving Properties in Hybrid Systems.
ADHS
Emília Villani, Jean-Claude Pascal, Paulo E. Miyagi, Robert Valette
2001 J jnl
Modeling, Simulation and Analysis of Batch Production Systems.
Discret. Event Dyn. Syst.
Ronan Champagnat, Robert Valette, Jean-Claude Hochon, Hervé Pingaud
2001 J jnl
Rapid and modular prototyping-based Petri nets and distributed simulation for manufacturing systems.
Appl. Math. Comput.
Alexandre Nketsa, Robert Valette
2001 — conf
Reachability and Temporal Conflicts in t-Time Petri Nets.
PNPM
Nicolas Rivière, Brigitte Pradin-Chezalviel, Robert Valette
2000 J jnl
Real time scheduling of batch systems.
Simul. Pract. Theory
Stéphane Julia, Robert Valette
1999 J jnl
Possibilistic Petri nets.
IEEE Trans. Syst. Man Cybern. Part B
Janette Cardoso, Robert Valette, Didier Dubois
1999 — conf
Scenario durations characterization of t-timed Petri nets using linear logic.
PNPM
Brigitte Pradin-Chezalviel, Robert Valette, Luis Allan Künzle
1998 B conf
Scheduling batch systems using a token player algorithm.
SMC
Stéphane Julia, Robert Valette, José M. Fernandes
1997 J jnl
Fuzzy Petri net-based programmable logic controller.
IEEE Trans. Syst. Man Cybern. Part B
David Andreu, Jean-Claude Pascal, Robert Valette
1997 — conf
Some Issues About Petri Net Application to Manufacturing and Process Supervisory Control.
ICATPN
Robert Valette
1996 — conf
Petri Nets and Production Systems.
Petri Nets (2)
Manuel Silva Suárez, Enrique Teruel, Robert Valette, Hervé Pingaud
1994 — ed.
Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings
Application and Theory of Petri Nets
Robert Valette
1990 — conf
Software Implementation of Petri nets and compilation of rule-based systems.
Applications and Theory of Petri Nets
Robert Valette, Babou Bako
1989 — conf
Petri nets with uncertain markings.
Applications and Theory of Petri Nets
Janette Cardoso, Robert Valette, Didier Dubois
1988 — conf
Petri nets and flexible manufacturing.
European Workshop on Applications and Theory in Petri Nets
Manuel Silva Suárez, Robert Valette
1987 A* conf
Joining Petri nets and knowledge based systems for monitoring purposes.
ICRA
A. Sahraoui, H. Atabakhche, Marc Courvoisier, Robert Valette
1986 — conf
Nets in Production Systems.
Advances in Petri Nets
Robert Valette
1984 — conf
PSI: A Petri net based simulator for flexible manufacturing systems.
European Workshop on Applications and Theory in Petri Nets
P. Alanche, K. Benzakour, F. Dollé, P. Gillet, P. Rodrigues, Robert Valette
1982 — conf
Control of Flexible Production Systems and Petri Nets.
European Workshop on Applications and Theory of Petri Nets
Robert Valette, Marc Courvoisier, D. Mayeux
1981 — conf
Overview on Topic 6: Reliability and Recovery Issues.
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
Robert Valette
1981 — conf
Petri Nets and Reliable Real Time Systems.
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
Robert Valette
1981 A conf
Task Synchronization in Distributed Real Time Control Systems.
RTSS
Marc Courvoisier, Robert Valette, J. Golinski, Hamid Demmou
1979 J jnl
Analysis of Petri Nets by Stepwise Refinements.
J. Comput. Syst. Sci.
Robert Valette
1976 A* conf
Petri nets as a common tool for design verification and hardware simulation.
DAC
Pierre Azéma, Robert Valette, Michel Diaz