{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:45Z","timestamp":1725663645918},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540551799"},{"type":"electronic","value":"9783540467632"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55179-4_17","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:50:41Z","timestamp":1330249841000},"page":"169-180","source":"Crossref","is-referenced-by-count":1,"title":["Avoiding state explosion by composition of minimal covering graphs"],"prefix":"10.1007","author":[{"given":"Alain","family":"Finkel","sequence":"first","affiliation":[]},{"given":"Laure","family":"Petrucci","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,29]]},"reference":[{"key":"17_CR1","unstructured":"G. Berthelot, C. Johnen, L. Petrucci: PAPETRI: Environment for the Analysis of PETRI nets. Proceedings of the 2nd Computer-Aided Verification Workshop, New-Brunswick, USA, 18\u201321 June 1990."},{"key":"17_CR2","unstructured":"A. Bourguet: Etude de la concordance de comportement de deux r\u00e9seaux de Petri. Application \u00e0 la validation des protocoles: d\u00e9tection automatique des erreurs de conception. Thesis of University Pierre et Marie Curie (Paris 6), September 1990."},{"key":"17_CR3","unstructured":"G.W. Brams: R\u00e9seaux de Petri: th\u00e9orie et pratique. Masson Ed, 1983."},{"key":"17_CR4","unstructured":"A. Finkel: The minimal coverability graph for Petri nets. Proceedings of the 11th International Conference on Application and Theory of Petri nets, Paris, June 1990."},{"key":"17_CR5","unstructured":"A. Finkel, L. Petrucci: Verification of net properties by composition\/decomposition. Research report CEDRIC, January 1991."},{"key":"17_CR6","unstructured":"M. Hack: Decidability questions for Petri nets. PhD Thesis, Technical Report 161, MIT, Laboratory for Computer Science, Juin 1976."},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"R.M. Karp, R.E. Miller: Parallel program schemata. JTSS 4, 1969, pp 147\u2013195.","DOI":"10.1016\/S0022-0000(69)80011-5"},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"W. Reisig: Petri nets. Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69968-9"},{"key":"17_CR9","unstructured":"Y. Souissi: Une \u00e9tude de la pr\u00e9servation de propri\u00e9t\u00e9s par composition de r\u00e9seaux de Petri. Quelques extensions aux r\u00e9seaux \u00e0 files. Application \u00e0 la validation de protocoles de communication. Thesis of University Pierre et Marie Curie (Paris 6), February 1990."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55179-4_17.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:57:54Z","timestamp":1605646674000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55179-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540551799","9783540467632"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-55179-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}