{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:40:20Z","timestamp":1742589620549,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":114,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540100010"},{"type":"electronic","value":"9783540393221"}],"license":[{"start":{"date-parts":[[1980,1,1]],"date-time":"1980-01-01T00:00:00Z","timestamp":315532800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1980]]},"DOI":"10.1007\/3-540-10001-6_31","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T16:58:24Z","timestamp":1330189104000},"page":"321-345","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Survey of French research and applications based on Petri nets"],"prefix":"10.1007","author":[{"given":"C.","family":"Andr\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Girault","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Diaz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Sifakis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,24]]},"reference":[{"key":"11_CR1","unstructured":"ANDRE C.: Sur une m\u00e9thode de conception assist\u00e9e par ordinateur des syst\u00e8mes logiques \u00e0 \u00e9volutions simultan\u00e9es. Th\u00e8se Doc. 3\u00e8 cycle, Univ. de Nice, Juin 1975."},{"key":"11_CR2","unstructured":"ANDRE C., ARMAND P., BOERI F.: Synchronic relations and applications in parallel computation. Digital Process, 1979."},{"key":"11_CR3","unstructured":"ANDRE C., BOERI F., MARIN J.: Synth\u00e8se et r\u00e9alisation des syst\u00e8mes logiques \u00e0 \u00e9volutions simultan\u00e9es. Revue Rairo-Automatique, Vol.10, no 4,pp.67\u201386."},{"key":"11_CR4","unstructured":"ANDRE C., BOERI F.: The behaviour equivalence and its aplications in Petrinets analysis. Journ\u00e9es d'\u00e9tude AFCET, Sch\u00e9mas de contr\u00f4le des syst\u00e8mes informatiques et automatiques, Paris Sept. 1979."},{"key":"11_CR5","unstructured":"ARMAND P.: Un langage de sp\u00e9cification de syst\u00e8mes parall\u00e8les. Description de la synchronisation par des r\u00e9seaux de Petri. Th\u00e8se de Doc. 3\u00e8 cycle, Univ. de Nice Nov. 79."},{"key":"11_CR6","unstructured":"AUGUIN M.: Conception des syst\u00e8mes de commande \u00e0 l'aide de r\u00e9seaux logiques programmables. Th\u00e8se Doc. 3\u00e8 cycle, Univ. de Nice, 1978."},{"key":"11_CR7","unstructured":"AUGUIN M., BOERI F, ANDRE C.: New design using Plas and Petri nets. Meco'78 Measurement and Control International Symposium, Juin 1978, Ath\u00e8nes."},{"key":"11_CR8","unstructured":"AYACHE J.M., LE DANOIS P.: Synthesis of logic systems with Pla's. Journ\u00e9es d'\u00e9tude, Logique c\u00e2bl\u00e9e ou logique programm\u00e9e, Lausanne, Mars 1977, pp. 89\u201395."},{"key":"11_CR9","unstructured":"AYACHE J.M., DIAZ M., VALETTE R.: A methodology for specifying in electronic switching systems. International Switching Symposium, ISS 79, Paris May 1979."},{"key":"11_CR10","unstructured":"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."},{"key":"11_CR11","unstructured":"AZEMA P., DIAZ M., DOUCET J.E.: Multilevel description using Petri nets. Symposium on Computer hardware description languages, New York, Sept. 1975."},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"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.","DOI":"10.1145\/800146.804803"},{"key":"11_CR13","unstructured":"AZEMA P., DIAZ M.: Test oriented interpreted Petri nets of concurrent systems. International Symp. on Fault-Tolerant Computing, Pittsburgh, June 21\u201323, New York 1976."},{"key":"11_CR14","unstructured":"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."},{"key":"11_CR15","unstructured":"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."},{"key":"11_CR16","unstructured":"BELLON C., SAUCIER G.: On line test modeling in non redundant distributed systems. FTC7, Los Angeles, June 1977."},{"key":"11_CR17","unstructured":"BELLON C.: Etude de la d\u00e9gradation progressive dans les syst\u00e8mes r\u00e9partis. Th\u00e8se de 3\u00e8 cycle, Grenoble Septembre 1977."},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"BELLON C., KUBIAK C., ROBACH Ch.: Mod\u00e9lisation des syst\u00e8mes distribu\u00e9s en vue de la d\u00e9tection des pannes. Annales des T\u00e9l\u00e9communications, novembre\u2013d\u00e9cembre 1978.","DOI":"10.1007\/BF02999775"},{"key":"11_CR19","series-title":"Lecture notes in Computer Science","doi-asserted-by":"crossref","first-page":"202","DOI":"10.1007\/3-540-07854-1_175","volume-title":"Reduction of Petri nets","author":"G. Berthelot","year":"1976","unstructured":"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\u2013209."},{"key":"11_CR20","unstructured":"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\u2013220."},{"key":"11_CR21","unstructured":"BERTHELOT G.: Verification des r\u00e9seaux de Petri. Th\u00e8se Doc. 3\u00e8 cycle, Universit\u00e9 P et M. Curie, Paris, Janvier 1978."},{"key":"11_CR22","unstructured":"BERTHELOT G.: Preuve de non blocage de programmes parall\u00e8les par r\u00e9duction de r\u00e9seaux de Petri. First European Conf. on Parallel and Distributed Processing, Toulouse May 1979."},{"key":"11_CR23","doi-asserted-by":"crossref","unstructured":"BERTHELOT G., VALK R.: Reductions of nets and parallel programs. Advanced course on general net theory of processes and systems, Hamburg, Oct. 1979.","DOI":"10.1007\/3-540-10001-6_28"},{"key":"11_CR24","unstructured":"BERTHOMIEU B.: Analyse structurelle des r\u00e9seaux de Petri, M\u00e9thodes et outils. Th\u00e8se Doc. Ing\u00e9nieur, Univ. Paul Sabatier, Toulouse, Septembre 1979."},{"key":"11_CR25","unstructured":"BLANCHARD M., CAVARROC J.C., GILLON J., THUILLIER G.: Conception modulaire d'automatismes s\u00e9quentiels asynchrones. DERA-T\u00e9l\u00e9matique Electrique, Rapport DGRST 71.7.2912.01, Janvier 1976."},{"key":"11_CR26","unstructured":"BLANCHARD M., GILLON J.: R\u00e9alisations logiques programm\u00e9es des r\u00e9seaux de Petri. Journ\u00e9es d'\u00e9tude, Logique c\u00e2bl\u00e9e ou Logique programm\u00e9e, Lausanne, mars 1977, pp. 51\u201357."},{"key":"11_CR27","unstructured":"BLANCHARD M.: Le GRAFCET pour une repr\u00e9sentation normalis\u00e9e du cahier des charges d'un automatisme logique. Automatique et Informatique Industrielles, no 61, pp. 27\u201332, no 62, pp. 36\u201340, Novembre\u2013D\u00e9cembre 1977."},{"key":"11_CR28","unstructured":"BLANCHARD M.: Automatismes logiques: GRAFCET ou r\u00e9seaux de Petri. Le Nouvel Automatisme, Mai 1979, pp. 45\u201352."},{"key":"11_CR29","unstructured":"BOUSSIN J.: Synthesis and analysis of logic automation systems. 7th Triennal World Congress, Helsinki, June 1978, Pergamon Press."},{"key":"11_CR30","unstructured":"CASPI P., MILI A., ROBACH Ch.: An information measure on nets. IFAC Workshop on Information and Systems, Compi\u00e8gne, Octobre 1977."},{"key":"11_CR31","unstructured":"CHAMBON P.: Simulation de r\u00e9seaux de Petri. 7\u00e8me Colloque sur le Traitement du Signal et ses Applications, Nice, Mai 1979."},{"key":"11_CR32","unstructured":"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."},{"key":"11_CR33","unstructured":"COURVOISIER M.: Etude des syst\u00e8mes logiques de commande asynchrone \u00e0 \u00e9volutions simultan\u00e9es. Th\u00e8se Doc.\u00e8s-Sciences, Univ. Paul Sabatier, Toulouse, F\u00e9vrier 1974."},{"key":"11_CR34","unstructured":"COURVOISIER M.: Description et r\u00e9alisation des syst\u00e8mes de commande asynchrone \u00e0 \u00e9volutions simultan\u00e9es. Journ\u00e9e d'\u00e9tude AFCET. Montpellier, 8 mars 1974."},{"key":"11_CR35","unstructured":"COURVOISIER M., ESCOURROU A.: Description language and method of design of simultaneously evoluting asynchronous logic control systems. Congr\u00e8s IFAC: Discrete Systems. Riga, Septembre 1974."},{"key":"11_CR36","unstructured":"COURVOISIER M.: Description et r\u00e9alisation des syst\u00e8mes de commande asynchrones \u00e0 \u00e9volutions simultan\u00e9es. RAIRO, F\u00e9vrier 1975."},{"key":"11_CR37","doi-asserted-by":"crossref","unstructured":"COURVOISIER M.: A parallel asynchronous architecture for control systems. Second Symposium IFAC: Discrete Systems, Dresde, Mars 1977.","DOI":"10.1016\/S1474-6670(17)66274-8"},{"key":"11_CR38","doi-asserted-by":"crossref","unstructured":"COURVOISIER M., VALETTE R.: Description and realization of parallel systems. COMPCON, Fall, 1977, Washington DC, pp. 167\u2013172.","DOI":"10.1109\/CMPCON.1977.680820"},{"key":"11_CR39","doi-asserted-by":"crossref","unstructured":"COURVOISIER M.: Realisation de syst\u00e8mes logiques \u00e0 \u00e9volutions simultan\u00e9es par matrice asynchrone. Electronics Letters, Vol. 14 no 4, F\u00e9vrier 1978.","DOI":"10.1049\/el:19780081"},{"key":"11_CR40","unstructured":"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."},{"key":"11_CR41","unstructured":"DACLIN E., BLANCHARD M.: Synth\u00e8se des Syst\u00e8mes logiques. Ed. Cepadues, Collection Sup-Aero, D\u00e9cembre 1976."},{"key":"11_CR42","unstructured":"DAVID R.: Synth\u00e8se \u00e0 l'aide de CUSA d'un syst\u00e8me s\u00e9quentiel d\u00e9crit par un GRAFCET Journ\u00e9es d'\u00e9tude AFCET-SEE, Les M\u00e9thodes Modernes d'Etude et de R\u00e9alisation des Automatismes, Gif sur Yvette, 2\u20133 f\u00e9vrier 1978."},{"key":"11_CR43","unstructured":"DAVID R., SILVA M.: Synth\u00e8se programm\u00e9e des automatismes logiques d\u00e9crits par r\u00e9seaux de Petri: Une m\u00e9thode de mise en oeuvre sur microcalculateur. A para\u00eetre dans RAIRO-Automatisme, Vol. 13, no 4, 1979."},{"issue":"8","key":"11_CR44","doi-asserted-by":"crossref","first-page":"727","DOI":"10.1109\/TC.1977.1674910","volume":"C 26","author":"R. David","year":"1977","unstructured":"DAVID R.: Modular design of asynchronous circuits defined by graphs. IEEE Trans. on Comp., Vol. C 26, no 8, pp. 727\u2013737, August 1977.","journal-title":"IEEE Trans. on Comp."},{"key":"11_CR45","doi-asserted-by":"crossref","unstructured":"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\u20134, 1979.","DOI":"10.1016\/0306-4379(79)90011-5"},{"key":"11_CR46","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1109\/T-C.1974.223875","volume":"C-23","author":"M. Diaz","year":"1974","unstructured":"DIAZ M., GEFFROY J.C., COURVOISIER M.: On-set realization of failsafe sequential machines. IEEE Trans, Comp., Vol. C-23, f\u00e9vrier 1974, pp. 133\u2013138.","journal-title":"IEEE Trans, Comp."},{"key":"11_CR47","unstructured":"FLORIN G., NATKIN S.: Analyse des syst\u00e8mes logiques et application \u00e0 la tol\u00e9rance aux pannes dans les r\u00e9seaux de Petri. Journ\u00e9es AFCET, R\u00e9seaux de Petri, Nice,D\u00e9c. 77."},{"key":"11_CR48","unstructured":"FLORIN G., NATKIN S.: Evaluation des performances d'un protocole de communication \u00e0 l'aide des r\u00e9seaux de Petri et des processus stochastiques. Journ\u00e9es d'\u00e9tude AFCET, Multiprocesseurs et Multiordinateurs en Temps R\u00e9el, Paris, Mai 1978."},{"key":"11_CR49","unstructured":"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."},{"key":"11_CR50","unstructured":"FLORIN G. NATKIN S.: Quelques propri\u00e9t\u00e9s des r\u00e9seaux de Petri Stochastiques. Journ\u00e9es d'\u00e9tude AFCET, sch\u00e9mas de contr\u00f4le des syst\u00e8mes informatiques et automatiques, Paris. Sept. 1979."},{"key":"11_CR51","unstructured":"GHERBI B.: Conception de syst\u00e8mes num\u00e9riques \u00e0 hautes performances. Th\u00e8se de Doc. 3\u00e8 cycle, Universit\u00e9 P. et M. Curie, Novembre 1979."},{"key":"11_CR52","unstructured":"GIRAULT C., MORCRETTE M.: Syntactic analysis by specialized parallel operators."},{"key":"11_CR53","unstructured":"IMACS-GI Symposium on Parallel Computers \u2014 Parallel Mathematics, Munich, March 1977, Feilmeir Ed, North Holland Publishing Company, 1977."},{"key":"11_CR54","unstructured":"GIRAULT C.: R\u00e9seaux de Petri et synchronisation de processus. Journ\u00e9es d'\u00e9tude AFCET, Programmation globale des Synchronisations dans les applications en Temps R\u00e9el, Paris Nov. 1977, pp. 153\u2013171."},{"key":"11_CR55","unstructured":"KWAN C.: Utilisation des r\u00e9seaux logiques programmables dans la conception de syst\u00e8mes logiques. Th\u00e8se de Doc. 3\u00e8 cycle, Universit\u00e9 de Compi\u00e8gne, 1976."},{"key":"11_CR56","unstructured":"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."},{"key":"11_CR57","unstructured":"LE CALVEZ F.: D\u00e9finition d'un langage de description globale des applications en temps r\u00e9el. Th\u00e8se de Doct. 3\u00e8 cycle, Univ. P. et M. Curie, Paris, Janvier 1979."},{"key":"11_CR58","unstructured":"LONC P.: Une nouvelle m\u00e9thode d'\u00e9tude de la suret\u00e9 de fonctionnement. Application \u00e0 l'\u00e9tude du syst\u00e8me informatique du m\u00e9tro de Caracas. M\u00e9moire d'ing\u00e9nieur, IEE-CNAM, Paris, Juillet 1979."},{"key":"11_CR59","unstructured":"MARIN J.: Sur le test en ligne des machines s\u00e9quentielles r\u00e9alis\u00e9es \u00e0 partir de r\u00e9seaux de Petri. Th\u00e8se Doct. 3\u00e8 cycle, Univ. Nice, 1975."},{"issue":"11","key":"11_CR60","first-page":"23","volume":"10","author":"J. Marin","year":"1976","unstructured":"MARIN J., ANDRE C., BOERI F.: Conception de syst\u00e8mes s\u00e9quentiels totalement autotestables \u00e0 partir des r\u00e9seaux de Petri. Revue RAIRO-Automatique, Vol. 10, no 11, 1976, pp. 23\u201340.","journal-title":"Revue RAIRO-Automatique"},{"key":"11_CR61","unstructured":"MASC 79: MASC 16, Modules for Alarm and Sequence Control. SEMS no 1.164.705.000\/3601, Grenoble, f\u00e9vrier 1979."},{"key":"11_CR62","unstructured":"MEMMI G.: Semiflows and invariants, applications in Petri nets theory. Journ\u00e9es d'Etude AFCET, R\u00e9seaux de Petri, Mars 1977, Paris, pp. 145\u2013150."},{"key":"11_CR63","unstructured":"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."},{"key":"11_CR64","doi-asserted-by":"crossref","unstructured":"MEMMI G.: Fuites de graphes \u00e0 choix non impos\u00e9 dans les r\u00e9seaux de Petri. 3rd International Symp. on Programming, Paris, Avril 1978, B. Robinet Ed., Dunod Informat. Pub.","DOI":"10.1051\/ita\/1978120201251"},{"key":"11_CR65","doi-asserted-by":"crossref","unstructured":"MEMMI G.: Fuites dans les r\u00e9seaux de Petrix. RAIRO Inf. Th\u00e9orique, Vol. 12 no 2, 1978.","DOI":"10.1051\/ita\/1978120201251"},{"key":"11_CR66","doi-asserted-by":"crossref","unstructured":"MEMMI G.: Fuites et semi-flots dans les r\u00e9seaux de Petri. Th\u00e8se de doct.Ing\u00e9nieur, Universit\u00e9 P. et M. Curie, Paris d\u00e9cembre 1978.","DOI":"10.1051\/ita\/1978120201251"},{"key":"11_CR67","unstructured":"MEMMI G.: Notion de dualit\u00e9 dans les r\u00e9seaux de Petri. International Symposium on Semantics of Concurrent Computation, Evian, July 1979, To appear in Lecture Notes in Comp. Science Springer Verlag Ed."},{"key":"11_CR68","doi-asserted-by":"crossref","unstructured":"MEMMI G. ROUCAIROL G.: Linear algebra in net theory. Advanced Course on general net theory of processes and systems, Hamburg, Oct. 1979.","DOI":"10.1007\/3-540-10001-6_24"},{"key":"11_CR69","unstructured":"MICHEL C.: Ensemble d'outils pour la conception assistec par ordinateur de syst\u00e8mes num\u00e9riques \u00e0 haute performance. Z\u00e8me Colloque sur le Traitement du Signal et ses Applications, Nice, Mai 1979."},{"key":"11_CR70","unstructured":"MILI A.: Outils d'aide \u00e0 la d\u00e9cision dans le test des syst\u00e8mes logiques. Th\u00e8se Doct. 3\u00e8 cycle, Universit\u00e9 de Grenoble, juin 1978."},{"key":"11_CR71","unstructured":"MITRANI E., TELLEZ-GIRON R., DAVID R.: Emploi des CUSA pour la synth\u00e8se directe de syst\u00e8mes asynchrones d\u00e9finis par des graphes ou des r\u00e9seaux de Petri. Colloque AFCET-ADEPA, Automatismes Logiques, pp. 83\u201389, Paris, d\u00e9cembre 1976."},{"key":"11_CR72","unstructured":"MOALLA M.: L'approche fonctionnelle dans la v\u00e9rification des syst\u00e8mes informatiques. Proposition d'un ensemble de m\u00e9thodologies. Th\u00e8se Doct.Ing\u00e9nieur, ENSIMAG, Universit\u00e9 de Grenoble, D\u00e9cembre 1976."},{"key":"11_CR73","unstructured":"MOALLA M., SIFAKIS J., ZACHARIADES M.: Mas, un outil d'aide \u00e0 la description et \u00e0 la conception des automatismes logiques. Colloque ADEPA-AFCET, Automatismes Logiques. Recherches et Applications Industrielles, Paris, D\u00e9cembre 1976."},{"issue":"2","key":"11_CR74","first-page":"103","volume":"12","author":"M. Moalla","year":"1978","unstructured":"MOALLA M.: PULOU J., SIFAKIS J.: R\u00e9seaux de Petri synchronis\u00e9s. RAIRO Automatique, Vol. 12, no 2, 1978, pp. 103\u2013130.","journal-title":"RAIRO Automatique"},{"key":"11_CR75","volume-title":"Mathematical Foundations of Computer Science 1978","author":"M. Moalla","year":"1978","unstructured":"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."},{"key":"11_CR76","unstructured":"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."},{"key":"11_CR77","unstructured":"MOALLA M. SIFAKIS J., SILVA M.: A la recherche d'une m\u00e9thodologie de conception s\u00fbre des automatismes logiques bas\u00e9e sur l'utilisation des r\u00e9seaux de Petri. In S\u00fbret\u00e9 de Fonctionnement des Syst\u00e8mes Informatiques, Monographie AFCET, to appear."},{"key":"11_CR78","volume-title":"Quelques aspects de la s\u00fbret\u00e9 de fonctionnement des syst\u00e8mes informatiques. M\u00e9moire d'Ing\u00e9nieur","author":"S. Natkin","year":"1979","unstructured":"NATKIN S.: Quelques aspects de la s\u00fbret\u00e9 de fonctionnement des syst\u00e8mes informatiques. M\u00e9moire d'Ing\u00e9nieur, CNAM, Paris, F\u00e9vrier 1979."},{"key":"11_CR79","unstructured":"PILAUD D. SAUCIER G.: Conception de syst\u00e8me temps r\u00e9el \u00e0 tr\u00e8s haute s\u00e9curit\u00e9 sur microprocesseur. R.R. no 130 ENSIMAG, Grenoble, Ao\u00fbt 1978."},{"key":"11_CR80","volume-title":"Un outil graphique interactif pour la v\u00e9rification des syst\u00e8mes \u00e0 \u00e9volutions parall\u00e8les d\u00e9crits par r\u00e9seaux de Petri","author":"B. Pradin","year":"1979","unstructured":"PRADIN B.: Un outil graphique interactif pour la v\u00e9rification des syst\u00e8mes \u00e0 \u00e9volutions parall\u00e8les d\u00e9crits par r\u00e9seaux de Petri. Th\u00e8se de Doct. Ing\u00e9nieur, Universit\u00e9 Paul Sabatier, Toulouse, D\u00e9cembre 1979."},{"key":"11_CR81","volume-title":"Analyse et simulation en langage APL de syst\u00e8mes de commande d\u00e9crits par r\u00e9seaux de Petri","author":"J. Renalier","year":"1977","unstructured":"RENALIER J.: Analyse et simulation en langage APL de syst\u00e8mes de commande d\u00e9crits par r\u00e9seaux de Petri. Th\u00e8se Doct. 3\u00e8 cycle, Univ. Paul Sabatier, Toulouse, Juin 1977."},{"key":"11_CR82","unstructured":"ROBACH Ch., SAUCIER G.: System modelling and diagnosticability. COMPCON Spring 1977, F\u00e9vrier 1977, San Francisco."},{"key":"11_CR83","doi-asserted-by":"crossref","unstructured":"ROUCAIROL G.: Transformation de programmes s\u00e9quentiels en programmes parall\u00e8les. Premier Colloque sur la Programmation, Paris, Avril 1974, Lecture Notes in Computer Science, no 19, Springer Verlag Ed.","DOI":"10.1007\/3-540-06859-7_143"},{"key":"11_CR84","unstructured":"ROUCAIROL G.: Transformation of single assigment programs. 2nd Conference on Petri nets and related methods, M.I.T., July 1975."},{"key":"11_CR85","unstructured":"ROUCAIROL G.: Parallelization of single assigment programs. IMACS-GI Symposium on Parallel Computers \u2014 Parallel Mathematics, Munich, march 1977, Feilmeier Ed. North Holland Publ. Company, 1977."},{"key":"11_CR86","volume-title":"Equivalences syntaxiques et transformations de programmes parall\u00e8les","author":"G. Roucairol","year":"1978","unstructured":"ROUCAIROL G.: Equivalences syntaxiques et transformations de programmes parall\u00e8les. Th\u00e8se Doct. \u00e8s Sciences, Univ. P. et M.Curie, Paris, Novembre 1978."},{"key":"11_CR87","unstructured":"SAUCIER G.: Design methodology of high safety systems on microprocessor. Proc. of Euromicro Symposium, Munich, Octobre 1978."},{"key":"11_CR88","unstructured":"SEGUIN J., SERGEANT G., P. WILMS: Un algorithme \u00e0 consensus majoritaire pour le maintien de la coh\u00e9rence d'informations dupliqu\u00e9es et r\u00e9parties. Journ\u00e9es d'\u00e9tude AFCET Bases de Donn\u00e9es coh\u00e9rentes. Paris, Mai 1979, Ed. Institut de programmation de Paris."},{"key":"11_CR89","unstructured":"SIFAKIS J.: Etude du comportement permanent des reseaux de Petri temporises. Journ\u00e9es d'\u00e9tude AFCET R\u00e9seaux de Petri, Paris, Mars 1977, Ed. Institut de Programmation de Paris, 1977, pp. 165\u2013184."},{"key":"11_CR90","unstructured":"SIFAKIS J.: Use of Petri nets for performance evaluation. In Measuring, Modelling and Evaluating Computer Systems. North Holland Publ. Company, 1977, pp. 75\u201393."},{"key":"11_CR91","volume-title":"Homomorphims of Petri nets. Applications to the realization of fault tolerant systems. R.R. 90","author":"J. Sifakis","year":"1977","unstructured":"SIFAKIS J.: Homomorphims of Petri nets. Applications to the realization of fault tolerant systems. R.R. 90, Lab. IMAG, Grenoble, Octobre 1977."},{"key":"11_CR92","first-page":"474","volume-title":"Mathematical Foundations of Computer Science 1978","author":"J. Sifakis","year":"1979","unstructured":"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\u2013483."},{"key":"11_CR93","unstructured":"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."},{"key":"11_CR94","unstructured":"SIFAKIS J.: Le contr\u00f4le des syst\u00e8mes asynchrones. Concepts, propri\u00e9t\u00e9s, analyse statique. Th\u00e8se Doct. \u00e8s Sciences, Univ. de Grenoble, Juin 1979."},{"key":"11_CR95","unstructured":"SIFAKIS J.: Use of Petri nets for performance evaluation. Advanced Course on general net theory of processes and systems, Hamburg, Oct. 1979."},{"key":"11_CR96","unstructured":"SILVA M.: Tour d'horizon sur les automates programmables. Rapport interne LAG\/INPG, no 77-07, Grenoble, Mars 1977."},{"key":"11_CR97","unstructured":"SILVA M.: Contribution \u00e0 la synth\u00e8se programm\u00e9e des automatismes logiques. Th\u00e8se Doct. Ing\u00e9nieur, LAG, Grenoble, juin 1978."},{"key":"11_CR98","unstructured":"TACONET B., CHOLLOT B.: Programmation du Grafcet sur automate programmable \u00e0 langage logique, \u00e0 relais ou bool\u00e9en. Le nouvel Automatisme, no 4, f\u00e9vrier 1979."},{"key":"11_CR99","unstructured":"TAFAZZOLI M.E.: R\u00e9alisation d'un interpr\u00e8teur mat\u00e9riel de r\u00e9seaux de Petri \u00e0 capacit\u00e9s, Application \u00e0 la r\u00e9alisation d'un syst\u00e8me multiprocesseur. Th\u00e8se Doct. 3\u00e8 cycle Universit\u00e9 de Nice, Novembre 1979."},{"key":"11_CR100","unstructured":"TOULOTTE J.: R\u00e9seaux de Petri et automates programmables. Automatisme, Tome 23, No 6\u20137, juillet 1978."},{"key":"11_CR101","unstructured":"TOURRES L.: Une m\u00e9thode nouvelle d'\u00e9tude des syst\u00e8mes logiques et son application \u00e0 la r\u00e9alisation d'automatismes programmes. Revue G\u00e9n\u00e9rale de l'Electricit\u00e9, T. 85, no 3, Mars 1976."},{"key":"11_CR102","volume-title":"A model for parallel control systems and communication systems","author":"R. Valette","year":"1976","unstructured":"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."},{"key":"11_CR103","volume-title":"Sur la description, l'analyse et la validation des syst\u00e8mes de commande parall\u00e8le","author":"R. Valette","year":"1976","unstructured":"VALETTE R.: Sur la description, l'analyse et la validation des syst\u00e8mes de commande parall\u00e8le. Th\u00e8se Doct. \u00e8s-Sciences, Univ. Paul Sabatier, Toulouse, Novembre 1976."},{"issue":"1","key":"11_CR104","first-page":"51","volume":"11","author":"R. Valette","year":"1977","unstructured":"VALETTE R., COURVOISIER M.: Recherche d'un mod\u00e8le adapt\u00e9 aux syst\u00e8mes de commande de processus \u00e0 \u00e9volutions parall\u00e8les. RAIRO Automatique\/Systems Analysis and Control, Vol. 11, no 1, 1977, pp. 51\u201385.","journal-title":"RAIRO Automatique\/Systems Analysis and Control"},{"key":"11_CR105","doi-asserted-by":"crossref","unstructured":"VALETTE R.: An analysis oriented description of parallel systems allowing timing considerations. IFAC Symposium on discrete Systems, Dresden, March 1977.","DOI":"10.1016\/S1474-6670(17)66270-0"},{"key":"11_CR106","doi-asserted-by":"crossref","unstructured":"VALETTE R.: Analysis of Petri nets by stepwise refinements. Journal of Computer and System Sciences, Vol. 18, no 1, 1979.","DOI":"10.1016\/0022-0000(79)90050-3"},{"key":"11_CR107","unstructured":"VALETTE R., DIAZ M.: Top down formal specification and verification of parallel control systems. Digital Process, Volt. 4, no 3, 1978."},{"key":"11_CR108","unstructured":"VALETTE R.: Etude comparative de deux outils de repr\u00e9sentation; GRAFCET et r\u00e9seau de Petri. Le Nouvel Automatisme, D\u00e9cembre 1978, pp. 377\u2013382."},{"key":"11_CR109","unstructured":"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\u2013162."},{"key":"11_CR110","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1007\/3-540-08138-0_27","volume-title":"On the rationality of Petri net languages","author":"R. Valk","year":"1977","unstructured":"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\u2013328."},{"key":"11_CR111","unstructured":"VAUDENE D., VIGNAT J.C.: S\u00e9mantique d'\u00e9nonc\u00e9 de synchronisation en termes de r\u00e9seaux de Petri. Journ\u00e9es d'\u00e9tude AFCET, R\u00e9seaux de Petri, Paris, Mars 1977, Ed. Institut de Programmation de Paris 1977, pp. 113\u2013131."},{"key":"11_CR112","unstructured":"VERNEL P.: Conception et r\u00e9alisation d'un microcalculateur temps r\u00e9el \u00e0 grande s\u00fbret\u00e9 de fonctionnement. Th\u00e8se Doct. \u00e8s-Sciences, Inst. Polytechn. de Lorraine, Nancy 77."},{"key":"11_CR113","unstructured":"VIDAL-NAQUET G.: M\u00e9thodes pour les probl\u00e8mes d'ind\u00e9cidabilit\u00e9 et de complexit\u00e9 pour les r\u00e9seaux de Petri. Journ\u00e9es d'\u00e9tude AFCET, R\u00e9seaux de Petri, Paris, Mars 1977, Mars 1977, Ed. Institut de Programmation de Paris 1977, pp. 137\u2013144."},{"key":"11_CR114","unstructured":"ZACHARIADES M.: Mas: R\u00e9alisation d'un langage d'aide \u00e0 la description et \u00e0 la conception des syst\u00e8mes logiques. Th\u00e8se Doct. 3\u00e8 cycle, Universit\u00e9 de Grenoble, Sept. 77."}],"container-title":["Lecture Notes in Computer Science","Net Theory and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-10001-6_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:11:29Z","timestamp":1742587889000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-10001-6_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"ISBN":["9783540100010","9783540393221"],"references-count":114,"URL":"https:\/\/doi.org\/10.1007\/3-540-10001-6_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1980]]},"assertion":[{"value":"24 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}