{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,26]],"date-time":"2026-08-26T05:13:26Z","timestamp":1787721206306,"version":"build-2784847793"},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540123095","type":"print"},{"value":"9783642690280","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/978-3-642-69028-0_12","type":"book-chapter","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T09:11:37Z","timestamp":1319533897000},"page":"166-180","source":"Crossref","is-referenced-by-count":59,"title":["High-Level Petri Nets"],"prefix":"10.1007","author":[{"given":"Kurt","family":"Jensen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"HJ Genrich","year":"1981","unstructured":"H.J. Genrich and K. Lautenbach, System modelling with high-level Petri nets, Theoretical Computer Science 13 (1981) 109\u2013136.","journal-title":"Theoretical Computer Science"},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K Jensen","year":"1981","unstructured":"K. Jensen, Coloured Petri nets and the invariant-method, Theoretical Computer Science 14 (1981) 317\u2013336.","journal-title":"Theoretical Computer Science"},{"key":"12_CR3","first-page":"327","volume-title":"Lecture Notes in Computer Science, vol. 118","author":"K Jensen","year":"1981","unstructured":"K. Jensen, How to find invariants for coloured Petri nets, in: Mathematical Foundation of Computer Science 1981, J. Gruska and M. Chytil (eds.), Lecture Notes in Computer Science, vol. 118, Springer Berlin 1981, 327\u2013338."},{"key":"12_CR4","volume-title":"Liveness in Petri nets, Interner Bericht ISF-75-02.1","author":"K Lautenbach","year":"1975","unstructured":"K. Lautenbach, Liveness in Petri nets, Interner Bericht ISF-75-02.1, GMD Bonn (1975)."},{"key":"12_CR5","first-page":"213","volume-title":"Net theory and applications, Hamburg 1979, Lecture Notes in Computer Science vol. 84","author":"G Memmi","year":"1980","unstructured":"G. Memmi and G. Roucairol, Linear algebra in net theory, in: W. Brauer (ed.), Net theory and applications, Hamburg 1979, Lecture Notes in Computer Science vol. 84, Springer Berlin 1980, 213\u2013223."},{"key":"12_CR6","volume-title":"Communication by graphic net representations","author":"H Oberquelle","year":"1981","unstructured":"H. Oberquelle, Communication by graphic net representations, Bericht Nr. 75, Fachbereich Informatik, Universit\u00e4t Hamburg, 1981."}],"container-title":["Informatik-Fachberichte","Applications and Theory of Petri Nets"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-69028-0_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:42:07Z","timestamp":1606257727000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69028-0_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540123095","9783642690280"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69028-0_12","relation":{},"ISSN":["0343-3005"],"issn-type":[{"value":"0343-3005","type":"print"}],"subject":[],"published":{"date-parts":[[1983]]}}}