Advertisement

Survey of French research and applications based on Petri nets

  • C. André
  • C. Girault
  • M. Diaz
  • J. Sifakis
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 84)

Keywords

Boolean Function High Level Language Fault Tolerant System Reachable Marking Asynchronous Logic 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. ANDRE C.: Sur une méthode de conception assistée par ordinateur des systèmes logiques à évolutions simultanées. Thèse Doc. 3è cycle, Univ. de Nice, Juin 1975.Google Scholar
  2. ANDRE C., ARMAND P., BOERI F.: Synchronic relations and applications in parallel computation. Digital Process, 1979.Google Scholar
  3. ANDRE C., BOERI F., MARIN J.: Synthèse et réalisation des systèmes logiques à évolutions simultanées. Revue Rairo-Automatique, Vol.10, no 4,pp.67–86.Google Scholar
  4. ANDRE C., BOERI F.: The behaviour equivalence and its aplications in Petrinets analysis. Journées d'étude AFCET, Schémas de contrôle des systèmes informatiques et automatiques, Paris Sept. 1979.Google Scholar
  5. ARMAND P.: Un langage de spécification de systèmes parallèles. Description de la synchronisation par des réseaux de Petri. Thèse de Doc. 3è cycle, Univ. de Nice Nov. 79.Google Scholar
  6. AUGUIN M.: Conception des systèmes de commande à l'aide de réseaux logiques programmables. Thèse Doc. 3è cycle, Univ. de Nice, 1978.Google Scholar
  7. AUGUIN M., BOERI F, ANDRE C.: New design using Plas and Petri nets. Meco'78 Measurement and Control International Symposium, Juin 1978, Athènes.Google Scholar
  8. AYACHE J.M., LE DANOIS P.: Synthesis of logic systems with Pla's. Journées d'étude, Logique câblée ou logique programmée, Lausanne, Mars 1977, pp. 89–95.Google Scholar
  9. AYACHE J.M., DIAZ M., VALETTE R.: A methodology for specifying in electronic switching systems. International Switching Symposium, ISS 79, Paris May 1979.Google Scholar
  10. AYACHE J.M., AZEMA P., DIAZ M.: OBSERVER a concept for on line detection of control errors in concurrent systems. In IEEE, International Symposium on Fault Tolerant Computing, Madison, June 1979.Google Scholar
  11. AZEMA P., DIAZ M., DOUCET J.E.: Multilevel description using Petri nets. Symposium on Computer hardware description languages, New York, Sept. 1975.Google Scholar
  12. AZEMA P., VALETTE R., DIAZ M.: Petri nets as a common tool for design verification and hardware simulation. ACM-IEEE 13th Design Automation Conference, San Francisco, Palo Alto, June 1976.Google Scholar
  13. AZEMA P., DIAZ M.: Test oriented interpreted Petri nets of concurrent systems. International Symp. on Fault-Tolerant Computing, Pittsburgh, June 21–23, New York 1976.Google Scholar
  14. AZEMA P., DIAZ M.: Checking experiments for hardware and software concurrent systems. IEEE Fault Tolerant Computing Symposium, Los Angeles, June 1977 (short paper) and Internal Report, LAAS, Toulouse, December 1976.Google Scholar
  15. AZEMA P., AYACHE J.M., BERTHOMIEU B.: Design and verification of communication procedures: a bottom up approach. 3rd Conference on software engineering, Atlanta, May 1978.Google Scholar
  16. BELLON C., SAUCIER G.: On line test modeling in non redundant distributed systems. FTC7, Los Angeles, June 1977.Google Scholar
  17. BELLON C.: Etude de la dégradation progressive dans les systèmes répartis. Thèse de 3è cycle, Grenoble Septembre 1977.Google Scholar
  18. BELLON C., KUBIAK C., ROBACH Ch.: Modélisation des systèmes distribués en vue de la détection des pannes. Annales des Télécommunications, novembre–décembre 1978.Google Scholar
  19. BERTHELOT G., ROUCAIROL G.: Reduction of Petri nets. Mathematical Foundation of Computer Science, Gdansk, Pologne, Sept. 1976. Lecture notes in Computer Science 45, Mazurkewicz Ed. Springer Verlag, Berlin, Heidelberg, New York, 1976, pp. 202–209.Google Scholar
  20. BERTHELOT G.: Checking liveness of Petri nets. Proc. of the IMACS-AICA-GI Conference on Parallel Computers and Parallel Mathematics, March 1977, Feilmeier Ed. North Holland Publishing Company, 1977, pp. 217–220.Google Scholar
  21. BERTHELOT G.: Verification des réseaux de Petri. Thèse Doc. 3è cycle, Université P et M. Curie, Paris, Janvier 1978.Google Scholar
  22. BERTHELOT G.: Preuve de non blocage de programmes parallèles par réduction de réseaux de Petri. First European Conf. on Parallel and Distributed Processing, Toulouse May 1979.Google Scholar
  23. BERTHELOT G., VALK R.: Reductions of nets and parallel programs. Advanced course on general net theory of processes and systems, Hamburg, Oct. 1979.Google Scholar
  24. BERTHOMIEU B.: Analyse structurelle des réseaux de Petri, Méthodes et outils. Thèse Doc. Ingénieur, Univ. Paul Sabatier, Toulouse, Septembre 1979.Google Scholar
  25. BLANCHARD M., CAVARROC J.C., GILLON J., THUILLIER G.: Conception modulaire d'automatismes séquentiels asynchrones. DERA-Télématique Electrique, Rapport DGRST 71.7.2912.01, Janvier 1976.Google Scholar
  26. BLANCHARD M., GILLON J.: Réalisations logiques programmées des réseaux de Petri. Journées d'étude, Logique câblée ou Logique programmée, Lausanne, mars 1977, pp. 51–57.Google Scholar
  27. BLANCHARD M.: Le GRAFCET pour une représentation normalisée du cahier des charges d'un automatisme logique. Automatique et Informatique Industrielles, no 61, pp. 27–32, no 62, pp. 36–40, Novembre–Décembre 1977.Google Scholar
  28. BLANCHARD M.: Automatismes logiques: GRAFCET ou réseaux de Petri. Le Nouvel Automatisme, Mai 1979, pp. 45–52.Google Scholar
  29. BOUSSIN J.: Synthesis and analysis of logic automation systems. 7th Triennal World Congress, Helsinki, June 1978, Pergamon Press.Google Scholar
  30. CASPI P., MILI A., ROBACH Ch.: An information measure on nets. IFAC Workshop on Information and Systems, Compiègne, Octobre 1977.Google Scholar
  31. CHAMBON P.: Simulation de réseaux de Petri. 7ème Colloque sur le Traitement du Signal et ses Applications, Nice, Mai 1979.Google Scholar
  32. CHEZALVIEL B., BERTHOMIEU B., BACHMAN S., DIAZ M.: Computer aided design and proof of parallel systems. Application to synchronization software. Internal Report, LAAS, Toulouse, Decembre 1978.Google Scholar
  33. COURVOISIER M.: Etude des systèmes logiques de commande asynchrone à évolutions simultanées. Thèse Doc.ès-Sciences, Univ. Paul Sabatier, Toulouse, Février 1974.Google Scholar
  34. COURVOISIER M.: Description et réalisation des systèmes de commande asynchrone à évolutions simultanées. Journée d'étude AFCET. Montpellier, 8 mars 1974.Google Scholar
  35. COURVOISIER M., ESCOURROU A.: Description language and method of design of simultaneously evoluting asynchronous logic control systems. Congrès IFAC: Discrete Systems. Riga, Septembre 1974.Google Scholar
  36. COURVOISIER M.: Description et réalisation des systèmes de commande asynchrones à évolutions simultanées. RAIRO, Février 1975.Google Scholar
  37. COURVOISIER M.: A parallel asynchronous architecture for control systems. Second Symposium IFAC: Discrete Systems, Dresde, Mars 1977.Google Scholar
  38. COURVOISIER M., VALETTE R.: Description and realization of parallel systems. COMPCON, Fall, 1977, Washington DC, pp. 167–172.Google Scholar
  39. COURVOISIER M.: Realisation de systèmes logiques à évolutions simultanées par matrice asynchrone. Electronics Letters, Vol. 14 no 4, Février 1978.Google Scholar
  40. COURVOISIER M., GEFFROY J.C.: High security multicomputer based control station for a decentralized process control system. 5th Seminar Applied Aspects of the Automata Theory, Varna Bulgarie, Mai 1979.Google Scholar
  41. DACLIN E., BLANCHARD M.: Synthèse des Systèmes logiques. Ed. Cepadues, Collection Sup-Aero, Décembre 1976.Google Scholar
  42. DAVID R.: Synthèse à l'aide de CUSA d'un système séquentiel décrit par un GRAFCET Journées d'étude AFCET-SEE, Les Méthodes Modernes d'Etude et de Réalisation des Automatismes, Gif sur Yvette, 2–3 février 1978.Google Scholar
  43. DAVID R., SILVA M.: Synthèse programmée des automatismes logiques décrits par réseaux de Petri: Une méthode de mise en oeuvre sur microcalculateur. A paraître dans RAIRO-Automatisme, Vol. 13, no 4, 1979.Google Scholar
  44. DAVID R.: Modular design of asynchronous circuits defined by graphs. IEEE Trans. on Comp., Vol. C 26, no 8, pp. 727–737, August 1977.Google Scholar
  45. DEVY M., DIAZ M.: Multilevel specification and validation of the control in communication systems. First International Conference on Distributed Computing Systems, Huntsville Alabama, October 1–4, 1979.Google Scholar
  46. DIAZ M., GEFFROY J.C., COURVOISIER M.: On-set realization of failsafe sequential machines. IEEE Trans, Comp., Vol. C-23, février 1974, pp. 133–138.Google Scholar
  47. FLORIN G., NATKIN S.: Analyse des systèmes logiques et application à la tolérance aux pannes dans les réseaux de Petri. Journées AFCET, Réseaux de Petri, Nice,Déc. 77.Google Scholar
  48. FLORIN G., NATKIN S.: Evaluation des performances d'un protocole de communication à l'aide des réseaux de Petri et des processus stochastiques. Journées d'étude AFCET, Multiprocesseurs et Multiordinateurs en Temps Réel, Paris, Mai 1978.Google Scholar
  49. FLORIN G., LONG P., NATKIN S.: An evaluation cad tool based on stochastic Petri nets. IFIP Working Conference on Fault Tolerant and Reliable Computing, Londres, Sept. 1979, to appear, North Holland.Google Scholar
  50. FLORIN G. NATKIN S.: Quelques propriétés des réseaux de Petri Stochastiques. Journées d'étude AFCET, schémas de contrôle des systèmes informatiques et automatiques, Paris. Sept. 1979.Google Scholar
  51. GHERBI B.: Conception de systèmes numériques à hautes performances. Thèse de Doc. 3è cycle, Université P. et M. Curie, Novembre 1979.Google Scholar
  52. GIRAULT C., MORCRETTE M.: Syntactic analysis by specialized parallel operators.Google Scholar
  53. IMACS-GI Symposium on Parallel Computers — Parallel Mathematics, Munich, March 1977, Feilmeir Ed, North Holland Publishing Company, 1977.Google Scholar
  54. GIRAULT C.: Réseaux de Petri et synchronisation de processus. Journées d'étude AFCET, Programmation globale des Synchronisations dans les applications en Temps Réel, Paris Nov. 1977, pp. 153–171.Google Scholar
  55. KWAN C.: Utilisation des réseaux logiques programmables dans la conception de systèmes logiques. Thèse de Doc. 3è cycle, Université de Compiègne, 1976.Google Scholar
  56. KWAN C., MICHEL C., LE BEUX P.: Logical systems using Plas and Petri nets. Programmable hardwired systems. Information Processing, Montreal, August 1977, IFIP, North Holland publishing Company, 1977.Google Scholar
  57. LE CALVEZ F.: Définition d'un langage de description globale des applications en temps réel. Thèse de Doct. 3è cycle, Univ. P. et M. Curie, Paris, Janvier 1979.Google Scholar
  58. LONC P.: Une nouvelle méthode d'étude de la sureté de fonctionnement. Application à l'étude du système informatique du métro de Caracas. Mémoire d'ingénieur, IEE-CNAM, Paris, Juillet 1979.Google Scholar
  59. MARIN J.: Sur le test en ligne des machines séquentielles réalisées à partir de réseaux de Petri. Thèse Doct. 3è cycle, Univ. Nice, 1975.Google Scholar
  60. MARIN J., ANDRE C., BOERI F.: Conception de systèmes séquentiels totalement autotestables à partir des réseaux de Petri. Revue RAIRO-Automatique, Vol. 10, no 11, 1976, pp. 23–40.Google Scholar
  61. MASC 79: MASC 16, Modules for Alarm and Sequence Control. SEMS no 1.164.705.000/3601, Grenoble, février 1979.Google Scholar
  62. MEMMI G.: Semiflows and invariants, applications in Petri nets theory. Journées d'Etude AFCET, Réseaux de Petri, Mars 1977, Paris, pp. 145–150.Google Scholar
  63. MEMMI G.: Applications of the semiflow notion to the boundedness and liveness problems in Petri net theory. Proc. of the 1978 Conference on Information Science and systems, Johns Hopkins University, Baltimore, USA.Google Scholar
  64. MEMMI G.: Fuites de graphes à choix non imposé dans les réseaux de Petri. 3rd International Symp. on Programming, Paris, Avril 1978, B. Robinet Ed., Dunod Informat. Pub.Google Scholar
  65. MEMMI G.: Fuites dans les réseaux de Petrix. RAIRO Inf. Théorique, Vol. 12 no 2, 1978.Google Scholar
  66. MEMMI G.: Fuites et semi-flots dans les réseaux de Petri. Thèse de doct.Ingénieur, Université P. et M. Curie, Paris décembre 1978.Google Scholar
  67. MEMMI G.: Notion de dualité dans les réseaux de Petri. International Symposium on Semantics of Concurrent Computation, Evian, July 1979, To appear in Lecture Notes in Comp. Science Springer Verlag Ed.Google Scholar
  68. MEMMI G. ROUCAIROL G.: Linear algebra in net theory. Advanced Course on general net theory of processes and systems, Hamburg, Oct. 1979.Google Scholar
  69. MICHEL C.: Ensemble d'outils pour la conception assistec par ordinateur de systèmes numériques à haute performance. Zème Colloque sur le Traitement du Signal et ses Applications, Nice, Mai 1979.Google Scholar
  70. MILI A.: Outils d'aide à la décision dans le test des systèmes logiques. Thèse Doct. 3è cycle, Université de Grenoble, juin 1978.Google Scholar
  71. MITRANI E., TELLEZ-GIRON R., DAVID R.: Emploi des CUSA pour la synthèse directe de systèmes asynchrones définis par des graphes ou des réseaux de Petri. Colloque AFCET-ADEPA, Automatismes Logiques, pp. 83–89, Paris, décembre 1976.Google Scholar
  72. MOALLA M.: L'approche fonctionnelle dans la vérification des systèmes informatiques. Proposition d'un ensemble de méthodologies. Thèse Doct.Ingénieur, ENSIMAG, Université de Grenoble, Décembre 1976.Google Scholar
  73. MOALLA M., SIFAKIS J., ZACHARIADES M.: Mas, un outil d'aide à la description et à la conception des automatismes logiques. Colloque ADEPA-AFCET, Automatismes Logiques. Recherches et Applications Industrielles, Paris, Décembre 1976.Google Scholar
  74. MOALLA M.: PULOU J., SIFAKIS J.: Réseaux de Petri synchronisés. RAIRO Automatique, Vol. 12, no 2, 1978, pp. 103–130.Google Scholar
  75. MOALLA M., PULOU J., SIFAKIS J.: Synchronized Petri nets: a model for the description of non autonomous systems. Mathematical Foundations of Computer Science 1978, J. Winkowski Ed, Berlin Heidelberg, New York, Springer Verlag, 1978.Google Scholar
  76. MOALLA M., SAUCIER G., SIFAKIS J., ZACHARIADES M.: A design tool for the multilevel description and simulation of systems of interconnected modules. 3rd Annual Sympos. on Computer. Architecture, Tampa, Florida, January 1979.Google Scholar
  77. MOALLA M. SIFAKIS J., SILVA M.: A la recherche d'une méthodologie de conception sûre des automatismes logiques basée sur l'utilisation des réseaux de Petri. In Sûreté de Fonctionnement des Systèmes Informatiques, Monographie AFCET, to appear.Google Scholar
  78. NATKIN S.: Quelques aspects de la sûreté de fonctionnement des systèmes informatiques. Mémoire d'Ingénieur, CNAM, Paris, Février 1979.Google Scholar
  79. PILAUD D. SAUCIER G.: Conception de système temps réel à très haute sécurité sur microprocesseur. R.R. no 130 ENSIMAG, Grenoble, Août 1978.Google Scholar
  80. PRADIN B.: Un outil graphique interactif pour la vérification des systèmes à évolutions parallèles décrits par réseaux de Petri. Thèse de Doct. Ingénieur, Université Paul Sabatier, Toulouse, Décembre 1979.Google Scholar
  81. RENALIER J.: Analyse et simulation en langage APL de systèmes de commande décrits par réseaux de Petri. Thèse Doct. 3è cycle, Univ. Paul Sabatier, Toulouse, Juin 1977.Google Scholar
  82. ROBACH Ch., SAUCIER G.: System modelling and diagnosticability. COMPCON Spring 1977, Février 1977, San Francisco.Google Scholar
  83. ROUCAIROL G.: Transformation de programmes séquentiels en programmes parallèles. Premier Colloque sur la Programmation, Paris, Avril 1974, Lecture Notes in Computer Science, no 19, Springer Verlag Ed.Google Scholar
  84. ROUCAIROL G.: Transformation of single assigment programs. 2nd Conference on Petri nets and related methods, M.I.T., July 1975.Google Scholar
  85. ROUCAIROL G.: Parallelization of single assigment programs. IMACS-GI Symposium on Parallel Computers — Parallel Mathematics, Munich, march 1977, Feilmeier Ed. North Holland Publ. Company, 1977.Google Scholar
  86. ROUCAIROL G.: Equivalences syntaxiques et transformations de programmes parallèles. Thèse Doct. ès Sciences, Univ. P. et M.Curie, Paris, Novembre 1978.Google Scholar
  87. SAUCIER G.: Design methodology of high safety systems on microprocessor. Proc. of Euromicro Symposium, Munich, Octobre 1978.Google Scholar
  88. SEGUIN J., SERGEANT G., P. WILMS: Un algorithme à consensus majoritaire pour le maintien de la cohérence d'informations dupliquées et réparties. Journées d'étude AFCET Bases de Données cohérentes. Paris, Mai 1979, Ed. Institut de programmation de Paris.Google Scholar
  89. SIFAKIS J.: Etude du comportement permanent des reseaux de Petri temporises. Journées d'étude AFCET Réseaux de Petri, Paris, Mars 1977, Ed. Institut de Programmation de Paris, 1977, pp. 165–184.Google Scholar
  90. SIFAKIS J.: Use of Petri nets for performance evaluation. In Measuring, Modelling and Evaluating Computer Systems. North Holland Publ. Company, 1977, pp. 75–93.Google Scholar
  91. SIFAKIS J.: Homomorphims of Petri nets. Applications to the realization of fault tolerant systems. R.R. 90, Lab. IMAG, Grenoble, Octobre 1977.Google Scholar
  92. SIFAKIS J.: Structural properties of Petri nets. Mathematical Foundations of Computer Science 1978, J. Winkowski Ed., Berlin,Heidelberg, New York, Springer Verlag 1979, pp. 474–483.Google Scholar
  93. SIFAKIS J.: Realization of fault-tolerant systems by coding Petri-nets. In Journal of Design Automation and fault-tolerant computing. Vol. III, no 2, 1979.Google Scholar
  94. SIFAKIS J.: Le contrôle des systèmes asynchrones. Concepts, propriétés, analyse statique. Thèse Doct. ès Sciences, Univ. de Grenoble, Juin 1979.Google Scholar
  95. SIFAKIS J.: Use of Petri nets for performance evaluation. Advanced Course on general net theory of processes and systems, Hamburg, Oct. 1979.Google Scholar
  96. SILVA M.: Tour d'horizon sur les automates programmables. Rapport interne LAG/INPG, no 77-07, Grenoble, Mars 1977.Google Scholar
  97. SILVA M.: Contribution à la synthèse programmée des automatismes logiques. Thèse Doct. Ingénieur, LAG, Grenoble, juin 1978.Google Scholar
  98. TACONET B., CHOLLOT B.: Programmation du Grafcet sur automate programmable à langage logique, à relais ou booléen. Le nouvel Automatisme, no 4, février 1979.Google Scholar
  99. TAFAZZOLI M.E.: Réalisation d'un interprèteur matériel de réseaux de Petri à capacités, Application à la réalisation d'un système multiprocesseur. Thèse Doct. 3è cycle Université de Nice, Novembre 1979.Google Scholar
  100. TOULOTTE J.: Réseaux de Petri et automates programmables. Automatisme, Tome 23, No 6–7, juillet 1978.Google Scholar
  101. TOURRES L.: Une méthode nouvelle d'étude des systèmes logiques et son application à la réalisation d'automatismes programmes. Revue Générale de l'Electricité, T. 85, no 3, Mars 1976.Google Scholar
  102. VALETTE R., PRAJOUX R.: A model for parallel control systems and communication systems. Conference on Information Science and Systems, The Johns Hopkins University, Baltimore, USA, April 1976.Google Scholar
  103. VALETTE R.: Sur la description, l'analyse et la validation des systèmes de commande parallèle. Thèse Doct. ès-Sciences, Univ. Paul Sabatier, Toulouse, Novembre 1976.Google Scholar
  104. VALETTE R., COURVOISIER M.: Recherche d'un modèle adapté aux systèmes de commande de processus à évolutions parallèles. RAIRO Automatique/Systems Analysis and Control, Vol. 11, no 1, 1977, pp. 51–85.Google Scholar
  105. VALETTE R.: An analysis oriented description of parallel systems allowing timing considerations. IFAC Symposium on discrete Systems, Dresden, March 1977.Google Scholar
  106. VALETTE R.: Analysis of Petri nets by stepwise refinements. Journal of Computer and System Sciences, Vol. 18, no 1, 1979.Google Scholar
  107. VALETTE R., DIAZ M.: Top down formal specification and verification of parallel control systems. Digital Process, Volt. 4, no 3, 1978.Google Scholar
  108. VALETTE R.: Etude comparative de deux outils de représentation; GRAFCET et réseau de Petri. Le Nouvel Automatisme, Décembre 1978, pp. 377–382.Google Scholar
  109. VALETTE R., DIAZ M.: A methodology for easily provable implementation of synchronization mechanisms. First International Conf. on Parallel and Distributed Computing, Toulouse, February 1979, pp. 156–162.Google Scholar
  110. VALK R., VIDAL-NAQUET G.: On the rationality of Petri net languages. Lecture Notes in Computer Science, Vol. 48, Berlin, Heidelberg, New York, Springer Verlag, 1977, pp. 319–328.Google Scholar
  111. VAUDENE D., VIGNAT J.C.: Sémantique d'énoncé de synchronisation en termes de réseaux de Petri. Journées d'étude AFCET, Réseaux de Petri, Paris, Mars 1977, Ed. Institut de Programmation de Paris 1977, pp. 113–131.Google Scholar
  112. VERNEL P.: Conception et réalisation d'un microcalculateur temps réel à grande sûreté de fonctionnement. Thèse Doct. ès-Sciences, Inst. Polytechn. de Lorraine, Nancy 77.Google Scholar
  113. VIDAL-NAQUET G.: Méthodes pour les problèmes d'indécidabilité et de complexité pour les réseaux de Petri. Journées d'étude AFCET, Réseaux de Petri, Paris, Mars 1977, Mars 1977, Ed. Institut de Programmation de Paris 1977, pp. 137–144.Google Scholar
  114. ZACHARIADES M.: Mas: Réalisation d'un langage d'aide à la description et à la conception des systèmes logiques. Thèse Doct. 3è cycle, Université de Grenoble, Sept. 77.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1980

Authors and Affiliations

  • C. André
    • 1
  • C. Girault
    • 2
  • M. Diaz
    • 3
  • J. Sifakis
    • 4
  1. 1.LASSY : University of NiceFrance
  2. 2.IP, University Paris VIFrance
  3. 3.LAAS, CNRS ToulouseFrance
  4. 4.IMAG, University of GrenobleFrance

Personalised recommendations