{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:10:14Z","timestamp":1742591414754,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540180869"},{"type":"electronic","value":"9783540477433"}],"license":[{"start":{"date-parts":[[1987,1,1]],"date-time":"1987-01-01T00:00:00Z","timestamp":536457600000},"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":[[1987]]},"DOI":"10.1007\/3-540-18086-9_20","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:25:22Z","timestamp":1330197922000},"page":"73-88","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Algebraic structure of flows of a regular coloured net"],"prefix":"10.1007","author":[{"given":"Serge","family":"Haddad","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Claude","family":"Girault","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"H. ALLA, P. LADET, J. MARTINEZ, M. SILVA: Modelling and validation of complex systems by coloured Petri nets. Fifth european workshop on applications and theory of Petri nets. Aarhus, Denmark (1984)","DOI":"10.1007\/3-540-15204-0_2"},{"key":"4_CR2","volume-title":"Transformation et analyse de r\u00e9seaux de Petri, applications aux protocoles","author":"G. Berthelot","year":"1983","unstructured":"G. BERTHELOT: Transformation et analyse de r\u00e9seaux de Petri, applications aux protocoles. Th\u00e8se d'etat. Universit\u00e9 Pierre et Marie Curie. Paris (1983)"},{"key":"4_CR3","volume-title":"R\u00e9seaux de Petri","author":"G.W. Brams","year":"1983","unstructured":"G.W. BRAMS: R\u00e9seaux de Petri. Th\u00e9orie et pratique. Masson editeur, Paris (1983)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"H.J. GENRICH, K. LAUTENBACH: System modelling with high-level Petri nets, Theoretical computer science 13 (1981)","DOI":"10.1016\/0304-3975(81)90113-4"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"H.J. GENRICH, K. LAUTENBACH: S-invariance in predicate transition nets. Third european workshop on applications and theory of Petri nets. Varenne Italy (1982)","DOI":"10.1007\/978-3-642-69028-0_8"},{"key":"4_CR6","unstructured":"S. HADDAD, J-M. BERNARD: Les r\u00e9seaux r\u00e9guliers, specification et validation par le logiciel ARP. Troisieme colloque de g\u00e9nie logiciel Afcet. Versailles (1986)"},{"key":"4_CR7","unstructured":"S. HADDAD: Thesis to appear in march 1987. Universit\u00e9 P. et. M. Curie."},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"P. HUBER, A.M. JENSEN, L.O. JEPSEN, K. JENSEN: Towards reachability trees for high-level Petri nets. Fifth european workshop on applications and theory of Petri nets. Aarhus, Denmark (1984)","DOI":"10.7146\/dpb.v13i174.7449"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"K. JENSEN: How to find invariants for coloured Petri nets. Mathematical foundations of computer science. Lectures notes in computer science 118. Springer-Verlag (1981)","DOI":"10.1007\/3-540-10856-4_100"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"K. JENSEN: High-level Petri nets. Third european workshop on applications and theory of Petri nets. Varenne Italy (1982)","DOI":"10.1007\/978-3-642-69028-0_12"},{"key":"4_CR11","unstructured":"R. KUJANSUU, M. LINDQVIST: Efficient algorithms for computing S-invariants for predicate transition nets. Fifth european workshop on applications and theory of Petri nets. Aarhus, Denmark (1984)"},{"key":"4_CR12","unstructured":"K. LAUTENBACH, A. PAGNONI: Invariance and duality in predicate transition nets and in coloured nets. Arbeitspapiere der G.M.D. 132"},{"key":"4_CR13","unstructured":"S. LANG: Algebra. Addison-Wesley (seventh printing) 1977"},{"key":"4_CR14","volume-title":"M\u00e9thodes d'analyse de r\u00e9seaux de Petri, r\u00e9seaux \u00e0 files et applications aux syst\u00e8mes temps r\u00e9el","author":"G. Memmi","year":"1983","unstructured":"G. MEMMI: M\u00e9thodes d'analyse de r\u00e9seaux de Petri, r\u00e9seaux \u00e0 files et applications aux syst\u00e8mes temps r\u00e9el. Th\u00e8se d'etat. Universit\u00e9 Pierre et Marie Curie. Paris (1983)"},{"key":"4_CR15","unstructured":"M. SILVA, J. MARTINEZ, P. LADET, H. ALLA: Generalized inverses and the calculation of symbolic invariants for coloured Petri nets. Technique et science informatique Vol. 4 No 1 (1985)"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"J. VAUTHERIN, G. MEMMI: Computation of flows for unary predicates transitions nets. Advances in Petri net (p. 455\u2013467). Lecture notes in computer science 188. Springer-Verlag 1984","DOI":"10.1007\/3-540-15204-0_25"}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1987"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18086-9_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:36:17Z","timestamp":1742589377000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18086-9_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540180869","9783540477433"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-18086-9_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]},"assertion":[{"value":"2 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}