{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T03:38:50Z","timestamp":1648870730071},"reference-count":13,"publisher":"EDP Sciences","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[1994]]},"DOI":"10.1051\/ita\/1994280200731","type":"journal-article","created":{"date-parts":[[2017,2,2]],"date-time":"2017-02-02T10:09:40Z","timestamp":1486030180000},"page":"73-124","source":"Crossref","is-referenced-by-count":1,"title":["Composition\/d\u00e9composition de r\u00e9seaux de P\u00e9tri et de leurs graphes de couverture"],"prefix":"10.1051","volume":"28","author":[{"given":"Alain","family":"Finkel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laure","family":"Petrucci","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"250","published-online":{"date-parts":[[2011,1,8]]},"reference":[{"key":"R1","unstructured":"1. BOURGUET A., \u00c9tude de la concordance de comportement de deux r\u00e9seaux de Petri. Application \u00e0 la validation des protocoles : d\u00e9tection automatique des erreurs de conception. Th\u00e8se de l'Universit\u00e9 Pierre-et-Marie-Curie, septembre 1990."},{"key":"R2","unstructured":"2. BERTHELOT G., PETRUCCI L., Putting Algebraic Nets Into Practice, Rapport interne CEDRIC-IIE, janvier 1989."},{"key":"R3","unstructured":"3. BRAMS GW., R\u00e9seaux de Petri : th\u00e9orie et pratique, Masson, 1983.0501.68027"},{"key":"R4","doi-asserted-by":"crossref","unstructured":"4. BRAUER W., REISIG W., ROSENBERG G., Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986,0619.00023","DOI":"10.1007\/978-3-540-47919-2"},{"key":"R5","unstructured":"Part 1, Proceedings of an Advanced Course at Bad Honnef, in LNCS No. 254, Springer Verlag, 1986."},{"key":"R6","unstructured":"5. DIMITROVICI C., HUMMERT U., PETRUCCI L., The Properties of Algebraic Nets Schemes in Some Semantics, Proceedings of the llth International Conference on Application and Theory of Petri Nets, Paris, juin 1990."},{"key":"R7","doi-asserted-by":"crossref","unstructured":"6. FINKEL A., The Minimal Coverability Graph for Petri Nets. Advances in Petri Nets 1993, LNCS 674, pp. 210-243, Springer Verlag, 1993.1250615","DOI":"10.1007\/3-540-56689-9_45"},{"key":"R8","unstructured":"7. HACK M., Decidability Questions for Petri Nets, Ph. D. Thesis, Technical Report 161, MIT, Laboratory for Computer Science, juin 1976."},{"key":"R9","doi-asserted-by":"crossref","unstructured":"8. MEMMI G., VAUTHERIN J., Analysing Nets by the Invariant M\u00e9thode, Advances in Petri Nets 1986, LNCS 255, pp. 300-337, Springer Verlag, 1987.9026610658.68068","DOI":"10.1007\/978-3-540-47919-2_11"},{"key":"R10","doi-asserted-by":"crossref","unstructured":"9. REISIG W., Petri Nets, Springer Verlag, 1985.7823030555.68033","DOI":"10.1007\/978-3-642-69968-9"},{"key":"R11","unstructured":"10. SOUISSI Y., Une \u00e9tude de la pr\u00e9servation de propri\u00e9t\u00e9s par composition de r\u00e9seaux de Petri, Th\u00e8se de l'Universit\u00e9 Pierre-et-Marie-Curie, f\u00e9vrier 1990."},{"key":"R12","unstructured":"11. VALMARI A., Compositional State Space Generation, Proceedings of the 11th International Conference on Application and Theory of Petri Nets, Paris, juin 1990."},{"key":"R13","unstructured":"12. VAUTHERIN J., Un mod\u00e8le alg\u00e9brique, bas\u00e9 sur les r\u00e9seaux de Petri, pour l'\u00e9tude des syst\u00e8mes parall\u00e8les, Th\u00e8se de doctorat d'ing\u00e9nieur, Universit\u00e9 de Paris-Sud, Centre d'Orsay, juin 1985."}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1994280200731\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T01:59:26Z","timestamp":1568771966000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1994280200731"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"references-count":13,"journal-issue":{"issue":"2"},"alternative-id":["ita1994280200731"],"URL":"https:\/\/doi.org\/10.1051\/ita\/1994280200731","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}