{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T08:52:22Z","timestamp":1742633542466},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540164807"},{"type":"electronic","value":"9783540398226"}],"license":[{"start":{"date-parts":[[1986,1,1]],"date-time":"1986-01-01T00:00:00Z","timestamp":504921600000},"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":[[1986]]},"DOI":"10.1007\/bfb0016224","type":"book-chapter","created":{"date-parts":[[2005,11,13]],"date-time":"2005-11-13T05:17:27Z","timestamp":1131859047000},"page":"418-434","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Non-linear invariants for coloured Petri nets with interdependent tokens; application to the proof of parallel programs"],"prefix":"10.1007","author":[{"given":"Jacques","family":"Vautherin","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,11]]},"reference":[{"key":"22_CR1","unstructured":"H. Alla, P. Ladet, J. Martinez, M. Silva-Suarez: \"Modelling and validation of complex systems by coloured Petri nets; application to a flexible manufacturing system\". Proc. of the 5th European Workshop on Applications and Theory of Petri Nets, Aarhus, Denmark, 1984. In: G. Rozenberg (ed.): Advances in Petri Nets 1984, L.N.C.S. 188, Springer-Verlag (1985), pp. 15\u201331."},{"key":"22_CR2","unstructured":"G.W. Brams: \"R\u00e9seaux de Petri: Th\u00e9orie et Pratique\". Masson (ed.), Paris (1983)."},{"key":"22_CR3","unstructured":"P. & R. Cousot: \"Invariance Proof Methods and Analysis Techniques for Parallel Programs\". In: Biermann, Guiho, Kodratoff (eds.): Automatic Program Construction Techniques, Macmillan Publ. Co. (1984), pp. 243\u2013271."},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"H.J. Genrich & K. Lautenbach: \"System Modelling with High-Level Petri Nets\". TCS 13, North Holland Publ. Co. (1981), pp. 109\u2013136.","DOI":"10.1016\/0304-3975(81)90113-4"},{"key":"22_CR5","unstructured":"H.J. Genrich & K. Lautenbach: \"S-invariance in Predicate\/Transition-Nets\". Proc. of the 3rd European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, 1982. In: A. Pagnoni and G. Rozenberg (eds.): Applications and Theory of Petri Nets, Informatik-Fachberichte vol. 66, Springer-Verlag (1983)."},{"key":"22_CR6","doi-asserted-by":"crossref","unstructured":"U. Goltz & W. Reisig: \"CSP-Programs as Nets with Individual Tokens\". Proc. of the 5th European Workshop on Applications and Theory of Petri Nets, Aarhus, Denmark, 1984. In: G. Rozenberg (ed.): Advances in Petri Nets 1984, L.N.C.S. 188, Springer-Verlag (1985), pp. 169\u2013196.","DOI":"10.1007\/3-540-15204-0_11"},{"issue":"8","key":"22_CR7","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"C.A.R. Hoare","year":"1978","unstructured":"C.A.R. Hoare: \"Communicating sequential processes\". Communications of the ACM, volume 21, no 8 (1978), pp. 666\u2013677.","journal-title":"Communications of the ACM"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"K. Jensen: \"Coloured Petri Nets and the Invariant Method\". TCS 14, North Holland Publ. Co. (1981) pp. 317\u2013336.","DOI":"10.1016\/0304-3975(81)90049-9"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"K. Jensen: \"High-level Petri nets\". Proc. of the 3rdth European Workshop on Applications and Theory of Petri Nets, Varenna, Italy, 1982. In: A. Pagnoni and G. Rozenberg (eds.): Applications and Theory of Petri Nets, Informatik-Fachberichte vol. 66, Springer-Verlag (1983), pp. 166\u2013180.","DOI":"10.1007\/978-3-642-69028-0_12"},{"key":"22_CR10","unstructured":"K. Lautenbach & H. Schmid: \"Use of Petri Nets for Proving Correctness of Concurrent Process Systems\", IFIP 74, North Holland Publ. Co. (1974)."},{"key":"22_CR11","first-page":"215","volume-title":"The Correctness Problem in Computer Science","author":"Z. Manna","year":"1981","unstructured":"Z. Manna & A. Pnueli: \"Verification of Concurrent Programs: the temporal framework\". In: R. Boyer and J. Moore (eds.): The Correctness Problem in Computer Science, Academic Press, New York (1981), pp. 215\u2013273."},{"key":"22_CR12","volume-title":"M\u00e9thodes d'Analyse des R\u00e9seaux de Petri, R\u00e9seaux \u00e0 Files et Application au Syst\u00e8mes Temps-R\u00e9el","author":"G. Memmi","year":"1983","unstructured":"G. Memmi: \"M\u00e9thodes d'Analyse des R\u00e9seaux de Petri, R\u00e9seaux \u00e0 Files et Application au Syst\u00e8mes Temps-R\u00e9el\". Th\u00e8se de Doctorat d'Etat, Universit\u00e9 P. & M. Curie, Paris (1983)."},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"J. Vautherin & G. Memmi: \"Computation of Flows for Unary Predicats\/ Transitions Nets\". Proc. of the 5th European Workshop on Applications and Theory of Petri Nets, Aarhus, Denmark, 1984. In: G. Rozenberg (ed.): Advances in Petri Nets 1984, L.N.C.S. 188, Springer-Verlag (1985), pp. 307\u2013327.","DOI":"10.1007\/3-540-15204-0_25"},{"key":"22_CR14","volume-title":"Un mod\u00e8le alg\u00e9brique, bas\u00e9 sur les r\u00e9seaux de Petri, pour l'\u00e9tude des syst\u00e8mes parall\u00e8les","author":"J. Vautherin","year":"1985","unstructured":"J. Vautherin: \"Un mod\u00e8le alg\u00e9brique, bas\u00e9 sur les r\u00e9seaux de Petri, pour l'\u00e9tude des syst\u00e8mes parall\u00e8les\". Th\u00e8se de docteur ing\u00e9nieur, Universit\u00e9 Paris-Sud, Paris (1985)."}],"container-title":["Lecture Notes in Computer Science","Advances in Petri Nets 1985"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0016224","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:58:54Z","timestamp":1558270734000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0016224"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540164807","9783540398226"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/bfb0016224","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]},"assertion":[{"value":"11 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}