default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDRobert Valette
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2010 – 2019
- 2011
[j15]Robert Valette:
Qu'est ce qu'un bon modèle? Bull. dInformatique Approfondie et Appl. 89: 5-14 (2011)- 2010
- [j14]Robert Valette:
Bonnes propriétés et invariants d'un réseau de petri. Bull. dInformatique Approfondie et Appl. 85: 3-38 (2010)
2000 – 2009
- 2009
- [j13]Robert Valette:
Génèse de la théorie des Réseaux de Petri 1962-1973. Bull. dInformatique Approfondie et Appl. 82: 5-14 (2009) - [j12]Robert Valette:
Introduction aux Réseaux de Petri. Bull. dInformatique Approfondie et Appl. 83: 3-22 (2009) - [j11]Robert Valette:
Exemple du photographe - Pas 1: Le réseau de Petri vu comme un ensemble d'automates communicants. Bull. dInformatique Approfondie et Appl. 83: 23-36 (2009) - [j10]Robert Valette:
Définitions formelles des réseaux de petri. Bull. dInformatique Approfondie et Appl. 84: 3-34 (2009) - [j9]Robert Valette:
Exemple des lecteurs et des écrivains. spécifications. Bull. dInformatique Approfondie et Appl. 84: 35-40 (2009) - [c20]Joslaine Cristina Jeske de Freitas
, Stéphane Julia, Robert Valette:
Fuzzy Continuous Resource Allocation Mechanisms in Workflow Management Systems. SBES 2009: 236-251 - 2008
- [j8]Stéphane Julia, Fernanda Francielle de Oliveira, Robert Valette:
Real time scheduling of Workflow Management Systems based on a p-time Petri net model with hybrid resources. Simul. Model. Pract. Theory 16(4): 462-482 (2008) - 2006
- [c19]Joslaine Cristina Jeske de Freitas, Stéphane Julia, Robert Valette:
Fuzzy continuous resource allocation mechanisms in workflow management systems. IRI 2006: 472-477 - 2005
- [c18]Xiaoyu Mao, Janette Cardoso, Robert Valette:
A New Graph of Classes for the Preservation of Quantitative Temporal Constraints. ATVA 2005: 278-292 - 2004
- [j7]Hamid Demmou, Sarhane Khalfaoui, Edwige Guilhem, Robert Valette:
Critical scenarios derivation methodology for mechatronic systems. Reliab. Eng. Syst. Saf. 84(1): 33-44 (2004) - 2003
- [c17]Emília Villani, Jean-Claude Pascal, Paulo E. Miyagi, Robert Valette:
Differential Predicate Transition Petri Nets and Objects, an Aid for Proving Properties in Hybrid Systems. ADHS 2003: 87-92 - 2001
- [j6]Alexandre Nketsa, Robert Valette:
Rapid and modular prototyping-based Petri nets and distributed simulation for manufacturing systems. Appl. Math. Comput. 120(1-3): 265-278 (2001) - [j5]Ronan Champagnat, Robert Valette, Jean-Claude Hochon, Hervé Pingaud:
Modeling, Simulation and Analysis of Batch Production Systems. Discret. Event Dyn. Syst. 11(1-2): 119-136 (2001) - [c16]Nicolas Rivière, Brigitte Pradin-Chezalviel, Robert Valette:
Reachability and Temporal Conflicts in t-Time Petri Nets. PNPM 2001: 229-238 - 2000
- [j4]Stéphane Julia, Robert Valette:
Real time scheduling of batch systems. Simul. Pract. Theory 8(5): 307-319 (2000)
1990 – 1999
- 1999
- [j3]Janette Cardoso, Robert Valette, Didier Dubois:
Possibilistic Petri nets. IEEE Trans. Syst. Man Cybern. Part B 29(5): 573-582 (1999) - [c15]Brigitte Pradin-Chezalviel, Robert Valette, Luis Allan Künzle:
Scenario durations characterization of t-timed Petri nets using linear logic. PNPM 1999: 208-217 - 1998
- [c14]Stéphane Julia, Robert Valette, José M. Fernandes:
Scheduling batch systems using a token player algorithm. SMC 1998: 487-492 - 1997
- [j2]David Andreu, Jean-Claude Pascal, Robert Valette:
Fuzzy Petri net-based programmable logic controller. IEEE Trans. Syst. Man Cybern. Part B 27(6): 952-961 (1997) - [c13]Robert Valette:
Some Issues About Petri Net Application to Manufacturing and Process Supervisory Control. ICATPN 1997: 23-41 - 1996
- [c12]Manuel Silva Suárez, Enrique Teruel, Robert Valette, Hervé Pingaud:
Petri Nets and Production Systems. Petri Nets (2) 1996: 85-124 - 1994
- [e1]Robert Valette:
Application and Theory of Petri Nets 1994, 15th International Conference, Zaragoza, Spain, June 20-24, 1994, Proceedings. Lecture Notes in Computer Science 815, Springer 1994, ISBN 3-540-58152-9 [contents] - 1990
- [c11]Robert Valette, Babou Bako:
Software Implementation of Petri nets and compilation of rule-based systems. Applications and Theory of Petri Nets 1990: 296-316
1980 – 1989
- 1989
- [c10]Janette Cardoso, Robert Valette, Didier Dubois:
Petri nets with uncertain markings. Applications and Theory of Petri Nets 1989: 64-78 - 1988
- [c9]Manuel Silva Suárez, Robert Valette:
Petri nets and flexible manufacturing. European Workshop on Applications and Theory in Petri Nets 1988: 374-417 - 1987
- [c8]A. Sahraoui, H. Atabakhche, Marc Courvoisier, Robert Valette:
Joining Petri nets and knowledge based systems for monitoring purposes. ICRA 1987: 1160-1165 - 1986
- [c7]Robert Valette:
Nets in Production Systems. Advances in Petri Nets 1986: 191-217 - 1984
- [c6]P. Alanche, K. Benzakour, F. Dollé, P. Gillet, P. Rodrigues, Robert Valette:
PSI: A Petri net based simulator for flexible manufacturing systems. European Workshop on Applications and Theory in Petri Nets 1984: 1-14 - 1982
- [c5]Robert Valette, Marc Courvoisier, D. Mayeux:
Control of Flexible Production Systems and Petri Nets. European Workshop on Applications and Theory of Petri Nets 1982: 264-277 - 1981
- [c4]Robert Valette:
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 1981: 208-211 - [c3]Robert Valette:
Petri Nets and Reliable Real Time Systems. Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets 1981: 222-227 - [c2]Marc Courvoisier, Robert Valette, J. Golinski, Hamid Demmou:
Task Synchronization in Distributed Real Time Control Systems. RTSS 1981: 83-88
1970 – 1979
- 1979
- [j1]Robert Valette:
Analysis of Petri Nets by Stepwise Refinements. J. Comput. Syst. Sci. 18(1): 35-46 (1979) - 1976
- [c1]Pierre Azéma, Robert Valette, Michel Diaz:
Petri nets as a common tool for design verification and hardware simulation. DAC 1976: 109-116
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
