{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,7]],"date-time":"2026-02-07T16:40:52Z","timestamp":1770482452943,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540152040","type":"print"},{"value":"9783540393207","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1985]]},"DOI":"10.1007\/3-540-15204-0_2","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T18:17:03Z","timestamp":1330193823000},"page":"15-31","source":"Crossref","is-referenced-by-count":40,"title":["Modelling and validation of complex systems by coloured petri nets application to a flexible manufacturing system"],"prefix":"10.1007","author":[{"given":"H.","family":"Alla","sequence":"first","affiliation":[]},{"given":"P.","family":"Ladet","sequence":"additional","affiliation":[]},{"given":"J.","family":"Martinez","sequence":"additional","affiliation":[]},{"given":"M.","family":"Silva-Suarez","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"2_CR1","unstructured":"CAVANNA B., DOLLE F., MOALLA H.: \"Outils CAO pour l'Analyse, la Sp\u00e9cification et la R\u00e9alisation de l'Automatisation d'Equipements de Production M\u00e9canique\". 3\u00e8me Journ\u00e9es Scientifiques et Techniques de la Production Automatis\u00e9e. TOULOUSE."},{"key":"2_CR2","unstructured":"CHAMBADAL L, OVAERT J.: \"Notions Fondamentales d'Alg\u00e8bre et d'Analyse\". Ed. GAUTHIER \u2014 VILLARS \u2014 PARIS."},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"JENSEN K.: \"Coloured Petri Nets and the Invariant Method\". Theoretical Computer Science 14. North Holland Publ. Co., pp. 317\u2013336.","DOI":"10.1016\/0304-3975(81)90049-9"},{"key":"2_CR4","unstructured":"JENSEN K.: \"How to Find Invariants for Coloured Petri Nets\". Mathematical Foundations of Computer Science. Lecture Notes in Computer Science 118. Springer Verlag, BERLIN."},{"key":"2_CR5","unstructured":"LAUTENBACH K., SCHMID H.A.: \"Use of Petri Nets for Proving Correctness of Concurrent Process Systems\". IFIP 74. North Holland Pub. Co. pp. 187\u2013191."},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"MARTINEZ J., SILVA M.: \"A Simple and Fast Algorithm to obtain all Invariants of a Generalised Petri Net\". 2nd European Workshop on Petri Nets Theory and Applications (Bad Honnef, September 1981). Informatik Fachbeichte 52, Springer Verlag, BERLIN, pp. 301\u2013310.","DOI":"10.1007\/978-3-642-68353-4_47"},{"key":"2_CR7","unstructured":"SILVA M.: \"Simplification des R\u00e9seaux de Petri par Elimination de Places Implicites\". Digital Processes, Vol. 6, n\u00b04, pp. 245\u2013256."},{"key":"2_CR8","unstructured":"SILVA M., MARTINEZ J., LADET P., ALLA H.: \"Generalised Inverses and the Calculation of Symbolic Invariants for Coloured Petri Nets\". To be published in Technique et Science Informatique (TSI)."},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"VALETTE R., COURVOISIER M., MAYEUX D.: \"Control of Flexible Production Systems and Petri Nets\". 3th European Workshop on Applications and Theory of Petri Nets. VARENNA, September, 1982.","DOI":"10.1007\/978-3-642-69028-0_18"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1984"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-15204-0_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:08:16Z","timestamp":1605643696000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-15204-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1985]]},"ISBN":["9783540152040","9783540393207"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-15204-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1985]]}}}