Skip to main content
SpringerLink
Log in

Survey of French research and applications based on Petri nets

  • Conference paper
  • First Online:
Net Theory and Applications

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 84))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • 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 

  • ANDRE C., ARMAND P., BOERI F.: Synchronic relations and applications in parallel computation. Digital Process, 1979.

    Google Scholar 

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

  • AZEMA P., DIAZ M., DOUCET J.E.: Multilevel description using Petri nets. Symposium on Computer hardware description languages, New York, Sept. 1975.

    Google Scholar 

  • 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 

  • 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 

  • 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 

  • 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 

  • BELLON C., SAUCIER G.: On line test modeling in non redundant distributed systems. FTC7, Los Angeles, June 1977.

    Google Scholar 

  • BELLON C.: Etude de la dégradation progressive dans les systèmes répartis. Thèse de 3è cycle, Grenoble Septembre 1977.

    Google Scholar 

  • 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 

  • 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 

  • 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 

  • BERTHELOT G.: Verification des réseaux de Petri. Thèse Doc. 3è cycle, Université P et M. Curie, Paris, Janvier 1978.

    Google Scholar 

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

  • BLANCHARD M.: Automatismes logiques: GRAFCET ou réseaux de Petri. Le Nouvel Automatisme, Mai 1979, pp. 45–52.

    Google Scholar 

  • BOUSSIN J.: Synthesis and analysis of logic automation systems. 7th Triennal World Congress, Helsinki, June 1978, Pergamon Press.

    Google Scholar 

  • CASPI P., MILI A., ROBACH Ch.: An information measure on nets. IFAC Workshop on Information and Systems, Compiègne, Octobre 1977.

    Google Scholar 

  • CHAMBON P.: Simulation de réseaux de Petri. 7ème Colloque sur le Traitement du Signal et ses Applications, Nice, Mai 1979.

    Google Scholar 

  • 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 

  • 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 

  • 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 

  • 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 

  • COURVOISIER M.: Description et réalisation des systèmes de commande asynchrones à évolutions simultanées. RAIRO, Février 1975.

    Google Scholar 

  • COURVOISIER M.: A parallel asynchronous architecture for control systems. Second Symposium IFAC: Discrete Systems, Dresde, Mars 1977.

    Google Scholar 

  • COURVOISIER M., VALETTE R.: Description and realization of parallel systems. COMPCON, Fall, 1977, Washington DC, pp. 167–172.

    Google Scholar 

  • COURVOISIER M.: Realisation de systèmes logiques à évolutions simultanées par matrice asynchrone. Electronics Letters, Vol. 14 no 4, Février 1978.

    Google Scholar 

  • 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 

  • DACLIN E., BLANCHARD M.: Synthèse des Systèmes logiques. Ed. Cepadues, Collection Sup-Aero, Décembre 1976.

    Google Scholar 

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

  • GIRAULT C., MORCRETTE M.: Syntactic analysis by specialized parallel operators.

    Google Scholar 

  • IMACS-GI Symposium on Parallel Computers — Parallel Mathematics, Munich, March 1977, Feilmeir Ed, North Holland Publishing Company, 1977.

    Google Scholar 

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

  • MASC 79: MASC 16, Modules for Alarm and Sequence Control. SEMS no 1.164.705.000/3601, Grenoble, février 1979.

    Google Scholar 

  • 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 

  • 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 

  • 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 

  • MEMMI G.: Fuites dans les réseaux de Petrix. RAIRO Inf. Théorique, Vol. 12 no 2, 1978.

    Google Scholar 

  • 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 

  • 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 

  • MEMMI G. ROUCAIROL G.: Linear algebra in net theory. Advanced Course on general net theory of processes and systems, Hamburg, Oct. 1979.

    Google Scholar 

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

  • MOALLA M.: PULOU J., SIFAKIS J.: Réseaux de Petri synchronisés. RAIRO Automatique, Vol. 12, no 2, 1978, pp. 103–130.

    Google Scholar 

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

  • ROBACH Ch., SAUCIER G.: System modelling and diagnosticability. COMPCON Spring 1977, Février 1977, San Francisco.

    Google Scholar 

  • 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 

  • ROUCAIROL G.: Transformation of single assigment programs. 2nd Conference on Petri nets and related methods, M.I.T., July 1975.

    Google Scholar 

  • 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 

  • 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 

  • SAUCIER G.: Design methodology of high safety systems on microprocessor. Proc. of Euromicro Symposium, Munich, Octobre 1978.

    Google Scholar 

  • 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 

  • 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 

  • 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 

  • SIFAKIS J.: Homomorphims of Petri nets. Applications to the realization of fault tolerant systems. R.R. 90, Lab. IMAG, Grenoble, Octobre 1977.

    Google Scholar 

  • 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 

  • 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 

  • 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 

  • SIFAKIS J.: Use of Petri nets for performance evaluation. Advanced Course on general net theory of processes and systems, Hamburg, Oct. 1979.

    Google Scholar 

  • SILVA M.: Tour d'horizon sur les automates programmables. Rapport interne LAG/INPG, no 77-07, Grenoble, Mars 1977.

    Google Scholar 

  • SILVA M.: Contribution à la synthèse programmée des automatismes logiques. Thèse Doct. Ingénieur, LAG, Grenoble, juin 1978.

    Google Scholar 

  • 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 

  • 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 

  • TOULOTTE J.: Réseaux de Petri et automates programmables. Automatisme, Tome 23, No 6–7, juillet 1978.

    Google Scholar 

  • 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 

  • 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 

  • 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 

  • 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 

  • VALETTE R.: An analysis oriented description of parallel systems allowing timing considerations. IFAC Symposium on discrete Systems, Dresden, March 1977.

    Google Scholar 

  • VALETTE R.: Analysis of Petri nets by stepwise refinements. Journal of Computer and System Sciences, Vol. 18, no 1, 1979.

    Google Scholar 

  • VALETTE R., DIAZ M.: Top down formal specification and verification of parallel control systems. Digital Process, Volt. 4, no 3, 1978.

    Google Scholar 

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

  • 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 

Download references

Author information

Authors and Affiliations

  1. LASSY : University of Nice, France

    C. André

  2. IP, University Paris VI, France

    C. Girault

  3. LAAS, CNRS Toulouse, France

    M. Diaz

  4. IMAG, University of Grenoble, France

    J. Sifakis

Authors
  1. C. André
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. C. Girault
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. M. Diaz
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. J. Sifakis
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Wilfried Brauer

Rights and permissions

Reprints and permissions

Copyright information

© 1980 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

André, C., Girault, C., Diaz, M., Sifakis, J. (1980). Survey of French research and applications based on Petri nets. In: Brauer, W. (eds) Net Theory and Applications. Lecture Notes in Computer Science, vol 84. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10001-6_31

Download citation

  • DOI: https://doi.org/10.1007/3-540-10001-6_31

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10001-0

  • Online ISBN: 978-3-540-39322-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation