Restricted access
Forbidden for un-authorized persons

Accès interdit aux personnes non autorisées

Proibido para quem não tem autorização

Some papers about Petri nets

Publications sur les réseaux de Petri

Trabalhos sobre redes de Petri

The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holders.

2006

• J. Cardoso, X. Mao, R. Valette :
  State class graph for fuzzy time Petri nets
  ESM 2006, European Simulation and Modelling Conference, October 23-25 2006, Toulouse, France ISBN 90-77381-30-9, Eurosis-Eti Publication pp.350-357
  Paper    Slides

• R. Valette :
  Le problème de la vérification : des systèmes à événements discrets aux systèmes hybrides
  Réunion conjointe des groupes de travail SDH, RdP et INCOS du GdR MACS à l'occasion de la cérémonie de Docteur Honoris Causa de Manuel Silva Suárez
  Reims, 25 Novembre 2005
  Transparents

• E. Villani, J.C. Pascal, P.E. Miyagi, R. Valette :
  A Petri net-based object-oriented approach for the modelling of hybrid productive systems,
  Nonlinear Analysis (Journal of) Elsevier, Volume 62, Issue 8, (30 September 2005), Special issue on Hybrid Systems and Applications, pp 1394-1418 (2005)
  Paper

• J. Cardoso, X. Mao, R. Valette:
  A graph of classes preserving quantitative temporal constraints considering unbounded transitions,
  7th International Workshop on Performability Modeling of Computer and Communication Systems (PMCCS), Turin (Italie), 23-24 Septembre 2005.
  Paper

• J. Cardoso, R. Valette, X. Mao:
  Un nouveau graphe de classes pour la préservation des contraintes temporelles quantitatives,
  MSR 2005, Modélisation des sytèmes réactifs, Grenoble (Autrans), 5-7 octobre 2005, JESA Vol.39 n.1-2-3/2005, Hermès, pp. 191-206
  Résumé    Paper

• X. Mao, J. Cardoso, R. Valette:
  A New Graph of Classes for the Preservation of Quantitative Temporal Constraints
  Automated Technology for Verification and Analysis: Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005,
  Lecture Notes in Computer Science, Volume 3707 / 2005, pp.278-292, Springer-Verlag GmbH, ISBN: 3-540-29209-8
  Abstract    Paper

• Nicolas Rivière, Hamid Demmou, Robert Valette, Malika Medjoudj :
  Symbolic temporal constraint analysis, an approach for verifying hybrid systems
  16th IFAC World Congress, Prague, Czech Republic, July 3-8 2005.
  Abstract    Paper    Slides

• Robert Valette, Janette Cardoso, Nicolas Rivière :
  Quelques réflexions sur le graphe des classes : du t-temporel au p-temporel et de la caractérisation des séquences à celle des scénarios
  Séminaire FERIA du 5 avril 2005, ONERA-CERT, Toulouse.
  Transparents de la présentation.

• P. Bieber, C. Castel, L. Cholvy, H. Demmou, C. Kehren, M. Medjoudj, N. Rivière, C. Seguin, R. Valette :
  Qualitative formalisation of critical scenarios with respect to dynamic system models
  Qualita 2005, Bordeaux, 16-18 mars 2005
  Paper    Transparents

• Janette Cardoso, Robert Valette :
  Un nouveau graphe de classe pour la préservation des contraintes temporelles quantitatives
  Séminaire FAC, 9-10 mars 2005, LAAS-CNRS Toulouse
  Transparents de la présentation.

• E. Villani, J.C. Pascal, P.E. Miyagi, R. Valette :
  Object oriented approach for cane sugar production: modelling and analysis,
  Control Engineering Practice 12 (2004) p.1279-1289
  available online at www.sciencedirect.com
  Abstract     Paper (draft) (pdf file).

• M. Medjoudj, S. Khalfaoui, H. Demmou, R. Valette :
  A method for deriving feared scenarios in hybrid systems,
  Probabilistic Safety Assessment and Management (PSAM'7 - ESREL'04), Berlin (Allemagne), 14-18 Juin 2004
  Abstract    Paper (pdf).

• Robert Valette, Nicolas Rivière :
  Analyse des systèmes hybrides sous la forme de systèmes de contraintes
  Présentation faite lors de la journée de l'AS155, 3 juin 2004, Paris
  Diapositives en français (pdf).

• M. Medjoudj :
  Extraction des scénarios critiques pour l'évaluation de la sûreté de fonctionnement des systèmes mécatroniques :
  approche hybride basée sur un modèle réseau de Petri et la logique linéaire.
  5e Congrès des Doctorants, Ecole Doctorale Systèmes (EDSYS), 13-14 mai 2004, ENSICA, Toulouse.
  Abstract    Paper (pdf).

• H. Demmou, S. Khalfaoui, E. Guilhem, R. Valette :
  Critical scenarios derivation methodology for mechatronic systems Reliability Engineering and System Safety 84 (2004) 33-44
  Available online at www.sciencedirect.com
  ELSEVIER
  Abstract    Paper (pdf).

• Nicolas Rivière :
  Thèse de Doctorat de l'Institut National des Sciences Appliquées de Toulouse
  Soutenue le 26 novembre 2003
  Modélisation et analyse temporelle par réseaux de Petri et logique linéaire.
  Résumé / Abstract    fichier (file) pdf    fichier PostScript compressé par gnuzip.

• E. Villani, F. Junqueira, P.E. Miyagi, R. Valette
  Petri net and OO for the modular analysis of an aircraft landing system,
  COBEM 2003, 17th International Congress of Mechanical Engineering, November 10-14, 2003, São Paulo, Brazil, p. 0348.
  Abstract     paper (pdf file).

• J. Fanchon, N. Rivière, B. Pradin-Chézalviel, R. Valette :
  Preuves de logique linéaire et processus de réseaux de Petri,
  MSR 2003, Modélisation des sytèmes réactifs, Metz, 6-8 octobre 2003, p.261-276, Editions Lavoisier, ISBN 2-7462-0778-8.
  Résumé    Transparents    Paper (in French).

• Sarhane Khalfaoui :
  Méthode de recherche des scénarios redoutés
  pour l'évaluation de la sûreté de fonctionnement des systèmes mécatroniques du monde automobile,
  Thèse de l'INP de Toulouse, 26 septembre 2003
  Abstract    Thèse en français (pdf).

• E. Villani, J.C. Pascal, P.E. Miyagi, R. Valette
  Differential predicate transition Petri nets and objects, an aid for proving properties in hybrid systems
  ADHS 03, IFAC Conference on Analysis and Design of Hybrid Systems, Saint-Malo, France, June 16-18, 2003, p.117-122.
  Abstract     paper (pdf file).

• C. Mancel, P. Lopez, R. Valette :
  Approche par génération de colonnes d'un problčme d'optimisation de prises de vue satellite,
  MOSIM'03, 23-25 avril 2003, Toulouse (France), p.122-127
  Paper (in French).

• C. Mancel, M-J. Huguet, P. Lopez, M. Medjoudj, R. Valette :
  Résolution intégrée d'ordonnancement et d'affectation~: adaptation d'une méthode fondée sur les réseaux de Petri et la logique linéaire,
  MOSIM'03, 23-25 avril 2003, Toulouse (France), p.293-298
  Résumé    Paper (in French).

• B. Pradin-Chézalviel, R. Valette :
  Réseaux de Petri et Logique Linéaire,
  Chapitre 6 de l'ouvrage : Vérification et mise en oeuvre des réseaux de Petri (sous la direction de Michel Diaz) Editions Hermès, Traité IC2 (Information-Commande-Communication) ISBN 2-7462-0445-2, 2003, p.209-229.
  Paper: pdf file

• S. Khalfaoui, H. Demmou, E. Guilhem, R. Valette :
  An algorithm for deriving critical scenarios in mechatronic systems,
  2002 IEEE International Conference on Systems, Man and Cybernetics SMC'02, Hammamet (Tunisie), 6-9 October 2002.
  Abstract    Paper (pdf).

• Hamid Demmou, Sarhane Khalfaoui, Nicolas Rivière, Edwige Guilhem
  Extracting critical scenarios from a Petri net model using linear logic
  Journal Européen des Systèmes Automatisés, Volume 36, n.7/2002, (2002)
  Edition : Lavoisier
  Abstract     paper (pdf file).

• E. Villani, P.E. Miyagi, R. Valette
  Petri nets and object-oriented approach for the analysis of hybrid systems
  CBA 02, XIV Congresso Brasileiro de Automática, Natal (RN) Brésil, 2-5 septembre 2002, p.1948-1954.
  paper (pdf file).

• C. Mancel, P. Lopez, N. Rivière, R. Valette :
  Relationships between Petri nets and constraint graphs: application to manufacturing
  15th IFAC world congress, Barcelona, Spain, 21-26 July 2002, n. 634.
  Abstract
  Paper: pdf file    compressed PostScript file
  Slides: pdf file.

• E. Villani, P.E. Miyagi, R. Valette :
  An object-oriented approach for hybrid system modelling, 15th IFAC world congress, Barcelona, Spain, 21-26 July 2002, n. 2324.
  Abstract     paper (pdf file).

• E. Villani, J.C. Pascal, P.E. Miyagi, R. Valette
  Apport d'une approche à objets fondée sur les réseaux de Petri à l'analyse des systèmes hybrides
  CIFA 2002, Nantes, France, 8-10 juillet 2002 (p. 659-664)
  Abstract (in French)     Transparents de la présentation (fichier pdf),     slides in English (pdf file),     article (paper in French) (pdf)

• S. Khalfaoui :
  Aide à la conception de systèmes mécatroniques sûrs de fonctionnement
  3eme Congrès des Doctorants de l'Ecole Doctorale Systèmes de l'Université Paul Sabatier de Toulouse, 22-23 mai 2002, Blagnac
  Paper (in French).

• N. Rivière :
  Aide à la modélisation des systèmes coopératifs
  3eme Congrès des Doctorants de l'Ecole Doctorale Systèmes de l'Université Paul Sabatier de Toulouse, 22-23 mai 2002, Blagnac
  Paper (pdf) (in French).

• S. Khalfaoui, E. Guilhem, H. Demmou, R. Valette :
  Une méthode pour obtenir des scénarios critiques dans les systèmes mécatroniques
  13e colloque Européen de sûreté de fonctionnement (ESREL 2002), Lyon 19-21 mars 2002, p.455-461.
  Abstract/Résumé    Paper (pdf) (in French).    Paper (compressed ps) (in French).

• N. Rivière, B. Pradin-Chézalviel, R. Valette :
  Propagation de contraintes et ordonnancement de documents multimédia
  JDIR, 4-6 mars 2002, Toulouse
  Résumé    Paper (in French) (PostScript)    Paper (in French) (pdf)
  Also presented at FAC 2002 (FERIA), Toulouse 26-27 March 2002
  Extended version for FAC 02 : Paper (in French) (PostScript)    Paper (in French) (pdf)

• R. Valette :
  Moyens de la sûreté de fonctionnement, Chapitre 5 de l'ouvrage~: Maîtrise des risques et sûreté de fonctionnement des systèmes de production (sous la direction de Eric Niel et Etienne Craye) Edition Hermès, ISBN 2-7462-0402-9, 2002, p.133-143.
  In French, abstract (résumé)
  Paper : pdf file (in French).    PostScript compressed by gnu zip

• E. Villani, P.E. Miyagi, R. Valette
  Redes de Petri e orientação a objetos para o desenvolvimento de sistemas híbridos
  16th Brazilian Congress of Mechanical Engineering Engineering for the new millenium, Nov. 26-30 2001, Uberlândia, Brasil, Vol 15 Robotic and Control, ISBN 85-85769-06-6, p.71-80.
  Abstract     Paper (pdf) (Em Português)

• S. Khalfaoui, E. Guilhem, H. Demmou, N. Rivière :
  Extraction des scénarios critiques à partir d'un modèle RdP à l'aide de la logique linéaire
  MSR 2001, Modélisation des Systèmes Réactifs, Toulouse 17-19 octobre 2001, p.409-424, Ed. Hermès Science, ISBN 2-7462-0329-4.
  Abstract/Résumé    Paper (in French).
  

• N. Rivière, B. Pradin-Chézalviel, R. Valette :
  Reachability and temporal conflicts in t-time Petri nets
  IEEE 9th International Workshop on Petri Nets and Performance Models (PNPM'01), Aachen (Germany), 11-14 Septembre 2001, pp.229-238.
  Abstract    Paper (PostScript)    Paper (pdf)

• R. Champagnat, C. Valentin-Roubinet, R. Valette, H. Alla, H. Pingaud, J.M. Flaus : Le cas test d'une unité de stockage de gaz, Chapitre 14 de l'ouvrage : Systèmes dynamiques hybrides (coordination Janan Zaytoon), Editions Hermès, ISBN 2-7462-0247-6, 2001, p.299-322
  Résumé    Le fichier pdf (compressé par Winzip) de ce chapitre    pdf

• C. Mancel, P. Lopez, R. Valette, M. Saleman, N. Bataille
  Approaches for the optimization of the resources management in a satellite constellation
  6th International Symposium on Artificial Intelligence, Robotics and Automation in Sapce: A New Space Odyssey, Montreal, Canada, June 18-22, 2001
  Abstract    Paper (PostScript file compressed by gnu zip)    Paper (PDF file)

• S. Khalfaoui, H. Demmou, E. Guilhem, R. Valette:
  Modeling critical mechatronic systems with Petri nets and feared scenarios derivation
  5th Workshop on Electronics, Control, Modelling, Measurement and Signals, Université Paul Sabatier, Toulouse, France, May 30-31, June 1, 2001, page 55-59.
  Abstract    paper (PostScript compressed by gnu zip)    paper (pdf)

• Juan Carlos Mugarza, Brigitte Pradin-Chézalviel, Robert Valette, Manuel Silva :
  Réductions fondées sur la logique linéaire pour l'ordonnancement des réseaux de Petri MOSIM'01, 3e Conférence Francophone de Modélisation et Simulation ''Conception et Gestion des Systèmes Industriels'', 25-27 avril 2001, Troyes (France), p.167-173, ISBN 1-56555-212-1 (SCS).
  Résumé    Paper (in French) (Postscript file compressed with gnu zip)    slides (ps.gz in French)
  Paper (in French) (pdf file)    slides (pdf in French)

• Ronan Champagnat, Robert Valette, Jean-Claude Hochon, Hervé Pingaud
  Modeling, simulation and analysis of batch production systems
  Discrete Event Dynamic Systems: Theory and Application, Vol 11, n.1/2, January/April 2001, p.119-136
  Kluwer Academic Publishers, ISSN 0924-6703
  Abstract    Paper (.ps.gz)    Paper (pdf)

• C. Mancel, M. Saleman, M. Faup, P. Lopez, R. Valette
  Optimization of the resource management in a satellite constellation: progressive approaches and perspective for a hybrid global method
  Second Workshop on satellite constellations and formation flying, Technion, Haifa, Israel, 19-20 Feb. 2001, p.1-8
  Abstract    Paper (PostScript file compressed by gnu zip)    Paper (pdf)

• Ronan Champagnat, Brigitte Pradin-Chézalviel, Robert Valette :
  Petri nets and Linear Logic as an aid for scheduling batch processes
  ADPM 2000, Automation of mixed processes: Hybrid Dynamic Systems
  18-19 September 2000, Dortmund Germany, p.107-112
  An extended version of this paper has been published in
  APII-JESA Journal Européen des Systèmes Automatisés, Volume 35, n 4/2001, p.451-465
  Abstract   Slides   Paper (ps.gz)    Paper (pdf)    JESA version of the Paper (ps.gz)    JESA version of the Paper (pdf)

2000

• Stéphane Julia, Robert Valette :
  Real time scheduling of batch systems
  Simulation Practice and Theory (Elsevier, SIMPRA) 8 (2000) p.307-319.
  Abstract    Paper (.ps.gz)    Paper (pdf)

• Brigitte Pradin-Chézalviel, :
  Application de la logique linéaire au raisonnement temporel sur les réseaux de Petri
  Habilitation à Diriger des Recherches, 8 Décembre 2000
  Résumé    Fichier .zip    Fichier .ps,    pdf file

• Luis Allan Künzle, Brigitte Pradin-Chézalviel, Robert Valette :
  Avaliação temporal de roteiros em redes de Petri com paralelismo
  CBA 2000, XIII Congresso Brasileiro de Automática, Florianópolis, Santa Catarina, Brasil, Artigo 263, 11-14 Sept. 2000
  Abstract    paper (Postscript file compressed with gnu zip),    pdf file.

• Robert Valette, Brigitte Pradin-Chézalviel, Ronan Champagnat :
  Raisonnement temporel pour la supervision et l'ordonnancement des systèmes dynamiques à événements discrets
  Dans : "Le temps, l'espace et l'évolutif", Ecole thématique "Documents et évolution" du Groupement de Recherche "Information, Interaction, Intelligence" du CNRS, Cépaduès-Editions, ISBN 2.85428.535.2, sept 2000, tome 2, p.103-117
  Résumé    Transparents    Paper (ps.gz in French)    pdf file (in French).

• Brigitte Pradin-Chézalviel, Robert Valette:
  Accessibilité de marquage et logique linéaire dans un réseau de Petri t-temporel
  Journées Formalisation des Activités Concurrentes, FAC'2000, CERT-IRIT-LAAS, Toulouse 18-19 mai 2000, p.123-134
  Abstract    Paper (.ps.gz in French)    Paper (pdf in French)

• Brigitte Pradin-Chézalviel, Luis Allan Künzle, François Girault, Robert Valette:
  Calculating duration of concurrent scenarios in time Petri nets
  APII-JESA   Journal Européen des Systèmes Automatisés, Volume 33, n 8-9/1999, p.943-958.
  Abstract    paper (Postscript file compressed with gnu zip),    pdf file.

• J. Cardoso, R. Valette, D. Dubois:
  Possibilistic Petri nets
  IEEE transactions on Systems, Man and Cybernetics part B: Cybernetics, October 1999, Vol. 29, N 5, p. 573-582.
  Abstract    paper (Postscript file compressed with gnu zip)    paper (Pdf file)

• B. Palomino, H. Pingaud, R. Valette :
  Promixt : un outil orienté-objet pour la simulation et l'ordonnancement de procédés discontinus
  Deuxième conférence francophone de MOdélisation et SIMulation MOSIM'99 Annecy, 6-8 octobre 1999, p.357-362
  (SCS Publication, ISBN 1-56555-176-1)
  (résumé)    article complet (.ps.gz)    article complet (pdf)

• Stéphane Julia, Robert Valette :
  Simulation en temps réel pour l'aide au pilotage des systèmes hybrides
  Deuxième conférence francophone de MOdélisation et SIMulation MOSIM'99 Annecy, 6-8 octobre 1999, p.285-290
  (SCS Publication, ISBN 1-56555-176-1)
  (résumé)    article complet (.ps.gz)    article complet (pdf)    transparents (.ps.gz)    transparents (pdf)

• R. Champagnat, J.C. Hochon, H. Pingaud, R. Valette :
  Simulation orientée événements des modèles hybrides
  Deuxième conférence francophone de MOdélisation et SIMulation MOSIM'99 Annecy, 6-8 octobre 1999, p.279-284
  (SCS Publication, ISBN 1-56555-176-1)
  (résumé)   article complet (PostScript)   article complet (pdf)    transparents (.ps.gz)    transparents (pdf)

• B. Pradin-Chézalviel, R. Valette, L.A. Künzle:
  Scenario duration characterization of t-timed Petri nets using linear logic,
  IEEE PNPM'99, 8th International Workshop on Petri Nets and Performance Models, Zaragoza, Spain, September 6-10, 1999, p.208-217.
  Abstract,    paper (PostScript file compressed by gnuzip)    extended version of the paper (PostScript file compressed by gnuzip)    slides
  paper (pdf file)    extended version of the paper (pdf file)    slides (pdf file)

• R. Champagnat, R. Valette, H. Pingaud:
  Formal methods for batch production systems,
  Workshop on Formal Methods and Manufacturing, Zaragoza, Spain, September 6, 1999, p.1-20.
  (abstract),    paper (PostScript compressed by gnu zip),    slides (PostScript compressed by gnu zip),
  paper (pdf file),    slides (pdf file).

• B. Pradin-Chézalviel, L. A. Künzle, F. Girault, R. Valette:
  Evaluation temporelle de scénario de réseau de Petri incluant du parallélisme
  2e Conférence MSR'99, Modélisation des Systèmes Réactifs, 24-25 mars 1999, Cachan, Edition Hermès, p.131-140.
  Résumé / Abstract    Paper (in French) (PostScript compressed by gnu zip),    Paper (in French) pdf file.

• R. Valette, H. Pingaud:
  Supervision des procédés  : du discret au discontinu,
  Colloque Applications de la commande avancée du groupe Informatique et Procédés commun à la Société Française de Génie des Procédés et à la Société de Chimie Industrielle, Paris, 9 mars 1999.
  (résumé)    paper (PostScript compressed by gnu zip)    paper (pdf)

• B. Pradin-Chézalviel, R. Valette, L. A. Künzle:
  Formalisation de scénarios, réseaux de Petri et logique linéaire,
  Journées Formalisation des Activités Concurrentes, FAC'99, CERT-IRIT-LAAS, Toulouse 25-26 février 1999, p.84-95
  Résumé ,    Paper (.ps.gz in French)    Paper (pdf in French)

• R. Valette, B. Pradin-Chézalviel, F. Girault:
  An introduction to Petri net theory,
  Fuzziness in Petri nets Eds. J. Cardoso, H. Camargo, Studies in Fuzziness and soft computing Vol 22, Physica Verlag 1999, ISBN 3-7908-1158-0, p.3-24
  Abstract ,    zip file    PostScript file compressed by gnu zip    PostScript file    pdf file

• L. A. Künzle, R. Valette, B. Pradin-Chézalviel:
  Temporal reasoning in fuzzy time Petri nets,
  Fuzziness in Petri nets Eds. J. Cardoso, H. Camargo, Studies in Fuzziness and soft computing Vol 22, Physica Verlag 1999, ISBN 3-7908-1158-0, p.146-173
  Abstract ,    zip file    PostScript file compressed by gnu zip    pdf file.

• R. Valette, B. Pradin-Chézalviel:
  Time Petri nets for modelling civil litigation,
  Information and Communications Technology Law, Vol.7, N 3, p.269-280, Carfax Publishing Ltd, 1998
  Abstract ,    zip file    PostScript file compressed by gnu zip    pdf file

• R. Champagnat, H. Pingaud, H. Alla, C. Valentin-Roubinet, J.-M. Flaus, R. Valette:
  A gas storage example as a benchmark for hybrid modelling: a comparative study
  APII-JESA, Automation of Mixed Processes Hybrid Dynamical Systems, ADPM'98, Editeur J. Zaytoon Vol 32 n.9-10 - décembre 1998, p.1233-1253
  (résumé/abstract)    paper (PostScript compressed by gnu zip)    paper (pdf)

• G. Moncelet, S. Christensen, H. Demmou, M. Paludetto, J. Porras:
  Analysing a mechatronic system with coloured Petri nets
  International Journal on Software Tools for Technology Transfer, Springer Verlag, Volume 2, Issue 2 (1998), p.160-167
  Abstract    paper (Pdf file)

H. Pingaud, R. Valette:
Modélisation de la dynamique des procédés discontinus
Entropie, 34, n 210, p. 15-21, 1998
résumé    paper (PostScript compressed by gnu zip)    paper (ps)    paper (pdf)

• M. Silva, E. Teruel, R. Valette, H. Pingaud:
  Petri nets and production systems,
  In Lectures on Petri nets II: applications, Lecture notes in Computer Science 1492, Springer Verlag 1998, p.85-124
  (abstract),    paper (pdf file)    paper (PostScript compressed by gnu zip)

• S. Julia, R. Valette, J. Fernandes:
  Scheduling batch systems using a token player algorithm
  IEEE-SMC'98, San Diego, October 11-14 1998, pp.487-492.
  Abstract    paper (PostScript file compressed by gnu zip)    paper (pdf file)

• Jean-Claude Hochon, Ronan Champagnat, Robert Valette:
  Modélisation et simulation hybride à l'aide des réseaux de Petri Prédicats-Transitions couplés à des équations algébro-différentielles,
  Actes du 4e Colloque Africain sur la Recherche en Informatique, CARI'98, Dakar (Sénégal), 12-15 Oct. 1998, p.737-749
  (résumé),    paper (PostScript compressed by gnu zip)    paper (pdf)

• Ronan Champagnat:
  Supervision des systèmes discontinus : définition d'un modèle hybride et pilotage en temps-réel
  Thèse de Doctorat de l'Université Paul Sabatier de Toulouse soutenue le jeudi 1er octobre 1998 à 10h30
  Résumé / Abstract ,    Fichier PostScript compressé par gzu zip de la thèse    Fichier pdf de la thèse

• Stéphane Julia, Robert Valette, Clarimundo M.M. Júnior, José M. Fernandes:
  Escalonamento de sistemas de produção híbridos usando-se um jogador de rede de Petri
  Proceedings of XII Brazilian Automatic Control Conference, XII CBA, Vol IV, pp. 1397-1402, September 14-18 1998, Uberlândia, (MG) Brazil
  Resumo    paper (PostScript compressed by gnu zip)    paper (pdf file)

• Robert Valette:
  Surveillance de systèmes hybrides
  Ecole d'été d'Automatique sur les systèmes hybrides, LAG-ENSIEG-INPG, Grenoble, septembre 1998
  transparents/slides ,
  

• R. Valette :
  Petri net and production systems,
  Tutorial presented at ICATPN 98 (19th International Conference on Application and Theory of Petri nets)
  Lisboa, 23 June 1998
  (slides part 1)
  (slides part 2)
  (slides part 3)
  (slides part 4)
  (slides part 5)
  (slides part 6)
  (slides part 7)

• G. Moncelet, S. Christensen, H. Demmou, M. Paludetto, J. Porras :
  Dependability evaluation of a simple mechatronic system using Coloured Petri nets
  First workshop on practical use of coloured Petri nets and DesignCPN, Aarhus, Denmark, June 1998.
  paper (PostScript compressed by gnu zip)    paper (pdf)

• J.C. Pascal, D. Andreu :
  An hybrid reference model for on-line detection in discontinuous systems,
  IFAC/IFP Workshop on " On-Line-Fault Detection and Supervision in the Chemical Process Industries", Solaize (Lyon), France, 4-5 juin 1998.
  (abstract),    paper (PostScript compressed by gnu zip)    paper (pdf)

• D. Andreu, J.C. Pascal, R. Valette :
  Supervision des systèmes de production discontinus,
  APII-JESA, Vol 32, n3, mai 1998, p.365-386.
  (abstract),    paper (PostScript compressed by gnu zip)    paper (pdf)

• R. Champagnat, P. Esteban, H. Pingaud, R. Valette:
  From scheduling to supervision in batch processes,
  IMACS Multiconference CESA'98 Computational Emgineering in Systems Applications, Nabeul-Hammamet, Tunisie, April 1-4, 1998, p.673-678.
  (abstract)    paper (PostScript compressed by gnu zip)    paper (pdf)

• R. Champagnat, H. Pingaud, H. Alla, C. Valentin-Roubinet, J-M. Flaus:
  A gas storage example as a benchmark for hybrid modeling
  ADPM'98 3rd International Conference on Automation of Mixted Processes, 19-20 March 1998, Reims, France p. 123-130.
  (abstract),    paper (PostScript compressed by gnu zip)    paper (pdf)

• R. Champagnat, P. Esteban, H. Pingaud, R. Valette:
  Modeling and simulation of a hybrid system through Pr/Tr PN DAE model,
  ADPM'98, 3rd International Conference on Automation of Mixted Processes, 19-20 March 1998, Reims, France p. 131-137
  (résumé)    paper (PostScript compressed by gnu zip)    paper (pdf)

• D. Andreu, R. Champagnat, P. Esteban, J.C. Pascal, H. Pingaud, R. Valette:
  Fonctionnement et architecture de systèmes de commande hybrides,
  Dans l'ouvrage :
  Concepts et outils pour les systèmes de production, Cépaduès Editions, Coordination JC. HENNET, Partie III, Chapitre 2, p.221-241, 1997.
  paper (Pdf file)

• R. Valette, R. Champagnat, D. Andreu, H. Pingaud:
  Modélisation des systèmes de production hybrides
  Colloque de recherche Doctorale Automatique, Génie Informatique, Image, Signal (AGIS'97), Angers 9-11 décembre 1997
  (abstract),    paper (PostScript compressed by gnu zip)    paper (Pdf file)

• D. Andreu, J-C. Pascal, R. Valette:
  Fuzzy Petri net-based programmable logic controller
  IEEE Transactions on Systems, Man and Cybernetics, Vol 27, N 6, p.952-961, Dec. 1997
  Abstract

• François Girault:
  Formalisation en logique linéaire du fonctionnement des réseaux de Petri Thèse de Doctorat de l'Université Paul Sabatier de Toulouse soutenue le 15 décembre 1997
  Résumé / Abstract ,    Thèse (in French gnu zip)    Thèse (uncompressed PostScript file)    Thèse (pdf file)

• Luis Allan Künzle:
  Raisonnement temporel basé sur les réseaux de Petri pour des systèmes manipulant des ressources
  Thèse de Doctorat de l'Université Paul Sabatier de Toulouse soutenue le 29 septembre 1997 (134 pages).
  Résumé / Abstract ,    Thèse (in French gnu zip)    Thèse (ps file)    Thèse (pdf file)

• Stéphane Julia, Robert Valette
  Modélisation et analyse d'une cellule flexible sous un ensemble de contraintes cycliques,
  RAIRO-APII-JESA, Vol 31, N 8, p.1275-1296, nov. 1997,
  (résumé / abstract)    paper (PostScript file compressed by gnu zip)    paper (pdf file)

• Stéphane Julia
  Conception et pilotage de cellules flexibles à fonctionnement répétitif modélisées par réseaux de Petri
  Thèse de Doctorat de l'Université Paul Sabatier de Toulouse, 16 Juillet 1997
  (résumé / abstract)    thèse (in french)    et la couverture (PostScript files compressed by gnu zip)
  thèse (in french)    et la couverture (pdf files)

• Robert Valette:
  Some issues about Petri net application to manufacturing and process supervisory control,
  ICATPN'97, June 1997, Toulouse France, Lecture Notes in Computer Science 1248, Application and Theory of Petri nets 1997, p. 23-41.
  Abstract ,    PostScript file compressed by gnu zip,    pdf file.

• R. Champagnat, P. Esteban, H. Pingaud, R. Valette:
  Modelling hybrid systems by means of high-level Petri nets: benefits and limitations
  IFAC-IFIP-IMACS conference on Control of industrial systems, Belfort, 20-22 May 1997, p.469-474.
  (abstract),    paper (PostScript compressed by gnu zip)    paper (pdf)

• F. Girault, B. Pradin-Chézalviel, R. Valette:
  A logic for Petri nets
  RAIRO-APII-JESA, Vol 31, N 3, p.525-542,1997
  Abstract ,    zip file    PostScript file compressed by gnu zip,    pdf file.

• R. Champagnat, P. Esteban, H. Pingaud, R. Valette:
  Petri net based modelling of hybrid systems
  ICIMS-NOE ASI'96 Conference Life Cycle Approaches to Production Systems, Management, Control, Supervision, Toulouse France June 2-6 1996, p.53-60
  also in:
  Computers in industry, Vol 36, n1-2, 30 April 1998 p.139-146.
  (abstract),    icims paper (PostScript compressed by gnu zip)    icims paper (pdf file)
  computers in industry paper (PostScript compressed by gnu zip)    computers in industry paper (pdf file)

1996

• David Andreu:
  Commande et supervision des procédés discontinus: une approche hybride,
  Thèse de l'Université Paul Sabatier de Toulouse, Toulouse le 15 novembre 1996
  Résumé et thèse

• L.A. Künzle, B. Pradin-Chézalviel, R. Valette, J. Cardoso
  Temporal reasoning and diagnosis in concurrent systems
  Raciocínio Temporal e Diagnóstico em Sistemas Paralelos
  XI Congresso Brasileiro de Automática, São Paulo, Brasil, September 2-6, 1996, pp. 435-440.
  (the paper is written in Portuguese)
  (abstract in English),    PostScript file compressed by gnu zip,    pdf file.

• R. Valette, F. Girault L.A. Künzle, B. Pradin-Chézalviel, J. Cardoso:
  Vérification de contraintes temporelles pour des systèmes de contrôle commande à l'aide des réseaux de Petri,
  Verification of temporal constraints for control command systems by means of Petri nets,
  9 Entretiens du Centre Jacques Cartier, Montréal, 1-4 Oct. 1996, p.255-267
  (abstract in English)    (slides in English)    (slide comments in English)    (paper in French) (.ps.gz files)
  (slides in English)    (slide comments in English)    (paper in French) (pdf files)

• J. Cardoso, R. Valette, D. Dubois:
  Fuzzy Petri net: an overview
  13th IFAC World Congress, San Francisco USA, 30 June - 5 July 1996, Volume J, p.443-448
  (abstract)    zip file    PostScript file compressed by gnu zip,    pdf file.

• L.A. Künzle, B. Pradin-Chézalviel, R. Valette, J. Cardoso:
  Raisonnement temporel pour des systèmes parallèles en vue du diagnostic,
  AGI'96, Tours 2-3 juin 1996, p.259-262
  (the paper is written in French)
  (abstract)    PostScript file compressed by gnu zip    pdf file

• D. Andreu, J.C. Pascal, R. Valette:
  Events as a Key of a Batch Process Control System,
  CESA'96 IMACS Multiconference, Symposium on Discrete Events and Manufacturing Systems, Lille, July 9-12 1996, p.297-302
  (abstract),    paper (PostScript compressed by gnu zip)    paper (pdf)

• F. Girault, B. Pradin-Chézalviel, R. Valette:
  Une logique pour les réseaux de Petri
  Congrès AFCET Modélisation des systèmes réactifs, Brest France, 28-29 mars 1996, p.309-316
  (the paper is written in French)
  (abstract)    PostScript file compressed by gnu zip,    pdf file.

• R. Valette, H. Pingaud, A. Pages, D. Andreu, J.C. Pascal:
  Modelling, simulation and control of event-driven operations in process systems,
  INRIA/IEEE Conference on Emerging Technologies and Factory Automation ETFA'95, Paris 10-13 Oct. 1995, p. 119-128 (Vol 3)
  (abstract),    paper (PostScript compressed by gnu zip),    pdf file.

• F. Girault, B. Pradin-Chézalviel, L.A. Künzle, R. Valette:
  Linear logic as a tool for reasoning on a Petri net model,
  INRIA/IEEE Conference on Emerging Technologies and Factory Automation ETFA'95, Paris 10-13 Oct. 1995, p. 49-57 (Vol 1)
  (the paper is not consistent with our current approach)
  (abstract)    zip file    PostScript file compressed by gnu zip,    pdf file.

• J. Cardoso, L.A. Künzle, R. Valette:
  Petri net based reasoning for the diagnosis of dynamic discrete event systems,
  6th International Fuzzy Systems Association Wold Congress, IFSA'95, São Paulo, Brazil, July 22-28, 1995, Vol 1 p.333-336.
  (abstract)    zip file    PostScript file compressed by gnu zip,    pdf file.

• S. Julia, R. Valette, M. Tazza:
  Computing a feasible schedule under a set of cyclic constraints,
  2nd International Conference on Industrial Automation, Nancy 7-9 juin 1995, p.141-146
  (paper) (.ps.gz)    (paper) (pdf)

• B. Pradin Chézalviel, F. Girault, L.A. Künzle, R. Valette:
  Behavioral model diagnosis in manufacturing,
  2nd International Conference on Industrial Automation, Nancy 7-9 juin 1995, p.239-244
  (the paper is in French and not consistent with our current approach)
  (abstract)    PostScript file compressed by gnu zip,    pdf file.

• D. Andreu, J.C. Pascal, R. Valette:
  Interaction of discrete and continuous parts of a batch process control system,
  Workshop on Analysis and and Design of Event-Driven Operations in Process Systems (ADEDOPS), Imperial College, London, 10-11 April 1995 (8p)
  abstract,    paper (PostScript compressed by gnu zip)    paper (pdf)

• R. Valette:
  Petri nets for control and monitoring: specification, verification and implementation,
  Workshop on Analysis and and Design of Event-Driven Operations in Process Systems (ADEDOPS), Imperial College, London, 10-11 April 1995 (17p)
  abstract,    paper (PostScript compressed by gnu zip)    paper (pdf)

• R. Valette, L.A. Künzle:
  Réseaux de Petri pour la détection et le diagnostic,
  Groupement de Recherche Automatique du CNRS, Journées d'Etude S3, Sûreté, Surveillance, Supervision, Détection et localisation de défaillance, Paris 17-18 novembre 1994, (9p)
  (the paper is written in French)
  (abstract)    PostScript file compressed by gnu zip    pdf file

• S. Julia, R. Valette, M. Tazza:
  Analysis of the behavior of a manufacturing cell with cyclic feeding policies,
  1994 IEEE International Conference on Systems, Man and Cybernetics, San Antonio, USA, October 2-5, 1994, p.1683-1688
  (abstract)    paper (PostScript file compressed by gnu zip)    paper (pdf file)

• D. Andreu, J.C. Pascal, H. Pingaud, R. Valette:
  Batch process modelling using Petri nets,
  1994 IEEE International Conference on Systems, Man and Cybernetics, San Antonio, USA, October 2-5, 1994, p.314-319
  (abstract),    paper (PostScript compressed by gnu zip)    paper (pdf)

• R. Valette, D. Andreu, J. Cardoso, JC. Pascal:
  Fuzzy Petri nets and their application in CIME,
  Transactions of the Institute of Electrical Engineers of Japan, Vol 114-C, No9, 1994, p.876-880.
  (abstract)    PostScript file compressed by gnu zip,    pdf file.

• R. Valette, B. Bako :
  Software Implementation of Petri nets and Compilation of Rule-based Systems
  Advances in Petri nets 1991, Lecture Notes in Computer Science 524, Springer Verlag, 1991, pp.296-316
  extended version of
  11th International Conference on Application and Theory of Petri nets Paris, June 27-29 1990 p.264-283. Paper (pdf)

• R. Valette, M. Silva :
  A rede de Petri: Uma ferramenta para a automação fabril / Petri nets: a tool for factory automation
  4o Congresso Nacional de Automação Industrial (CONAI) São Paulo (Brasil) 23-27 Julho 1990, Survey p.181-200.
  Paper (pdf)

• M. Silva, R. Valette :
  Petri nets and Flexible Manufacturing,
  Advances in Petri nets 1989, Lecture Notes in Computer Science 424, Springer Verlag (1990), p.374-417.
  Paper (pdf)

• R. Valette :
  Nets in production systems,
  Petri Nets: Applications and Relationships to Other Models of Concurrency}, Lecture Notes in Computer Science 255, Springer Verlag, 1987, ISBN 3-540-17906-2, p. 191-217.
  Advanced course on Petri nets Bad Honnef, Germany, sept. 1986.
  Paper (scanned)

• R. Valette, M. Courvoisier, H. Demmou, J-M. Bigou, C. Desclaux :
  Putting Petri nets to work for controlling flexible manufacturing systems,
  1985 IEEE International Symposium on Circuits and Systems Kyoto, Japan, June 5-7, 1985, pp. 929-932.
  IEEE Catalog 85CH2114-7, Volume 2 of 3.
  Paper (scanned)

• R. Valette, M. Courvoisier, J.M. Bigou, J. Albukerque:
  A Petri net based programmable logic controller
  IFIP First International Conference on Computer Applications in Production and Engineering CAPE 83, Amsterdam, april 1983
  Paper (scanned)

• R. Valette :
  Analysis of Petri nets by stepwise refinements,
  Journal of Computer and System Sciences, Vol.18, N.1, Feb. 1979, P. 35-46.
  Paper (scanned)

Return to general list    Retour liste générale    Retorno lista geral

Home page    Return    Retour    Retorno