Bounded Petri-net synthesis techniques and their applications to the distribution of reactive automata

Journal Europeen des Systemes Automatises

Volumn 33, Issue 8-9, 1999, Pages 925-942

  Caillaud, Benoît ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

Distribution of reactive automata; Petri net synthesis; Regions in transition systems

Indexed keywords

EID: 0043286481     PISSN: 12696935     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (14)

1. BADOUEL E., BERNARDINELLO L., DARONDEAU P., "Polynomial Algorithms for the Synthesis of Bounded Nets", MOSSES P. D., NIELSEN M., SCHWARTZBACH M. I., Eds., TAPSOFT'95: Theory and Practice of Software Development, vol. 915 of Lecture Notes in Computer Science, Aarhus, Denmark, May 1995, p. 364-378.
2. BRAND D., ZAFIROPULO P., "Synthesis of protocols for unlimited number of process", Proc. of Trends Applications, Comp. Network Protocols Symp. , Gaithersburg, May 1980, p. 29-40.
3. CAILLAUD B., "SYNET : un outil de synthèse de réseaux de Petri bornés, applications", Rapport de recherche num. 3155, avril 1997, INRIA.
4. CAILLAUD B., CASPI P., GIRAULT A., JARD C., "Distributing Automata for Asynchronous Networks of Processors", European Journal on Automated Systems (JESA), vol. 31, num. 3, 1997, p. 503-524, Hermes.
5. CAILLAUD B., "Synet reference manual, version 2.0a", 1999, http://www.irisa.fr/pampa/LOGICIELS/synet/synet.html.
6. CORTADELLA J., KISHINEVSKY M., LAVAGNO L., YAKOVLEV A., "Synthesizing Petri Nets from State-Based Models", Proc. of ICCAD'95, 1995, p. 164-171.
7. EHRENFEUCHT A., ROZENBERG G., "Partial (Set) 2-Structures, Parts 1 and 2", Acta Informatica, vol. 27, 1990, p. 315-368.
8. GONDRAN M., MINOUX M., Graphes et algorithmes, Eyrolles, Paris, 1985.
9. HOPKINS R., "Distributable Nets", ROZENBERG G., Ed., Advances in Petri Nets 1991, vol. 524 of Lecture Notes in Computer Science, Springer-Verlag, 1991.
10. JARD C., RAYNAL M., "Specification of Properties is Required to Verify Distributed Algorithms", Colloque AFCETsur les langages de spécification, février 1987.
11. KANT ANTONESCU C., "Synthèse de spécifications de protocoles à partir de spécifications de service", Thèse de doctorat, université de Montréal, mars 1993.
12. KISHINEVSKY M., CORTADELLA J., KONDRATYEV A., LAVAGNO L., YAKOVLEV A., "Synthesis of General Petri Nets", Technical Report num. 96-2-004, November 1996, Department of Computer Hardware, The University of Aizu.
13. SALEH K., PROBERT R., "Synthesis of Error-Recoverable Protocol Specifications from Service Specifications", International Conference on Computing and Information Niagara Falls, Canada, LNCS # 468, May 1990.
14. SCHRIJVER A., Theory of Linear and Integer Programming, Wiley, 1986.