{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T04:30:53Z","timestamp":1745123453879},"publisher-location":"Berlin, Heidelberg","reference-count":7,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540123095"},{"type":"electronic","value":"9783642690280"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/978-3-642-69028-0_16","type":"book-chapter","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T09:11:37Z","timestamp":1319533897000},"page":"229-249","source":"Crossref","is-referenced-by-count":22,"title":["Petri Nets With Individual Tokens"],"prefix":"10.1007","author":[{"given":"W.","family":"Reisig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"H Genrich","year":"1981","unstructured":"H. Genrich, K. Lautenbach: System Modelling with High-Level Petri Nets.- Theoretical Computer Science 13 (1981) 109\u2013136","journal-title":"Theoretical Computer Science"},{"key":"16_CR2","volume-title":"Net Theory and Applications","author":"H Genrich","year":"1980","unstructured":"H. Genrich, E. Stankiewicz-Wiechno: A Dictionary of Some Basic Notations of Nets Theory.- in: Net Theory and Applications W. Brauer(ed) LNCS 84 Springer Verlag 1980"},{"key":"16_CR3","volume-title":"Topics in Algebra","author":"IN Herstein","year":"1975","unstructured":"I.N. Herstein: Topics in Algebra.- Xerox College Publishing, Lexington 2nd. ed., 1975"},{"key":"16_CR4","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":"16_CR5","volume-title":"Lecture Notes in Computer Science","author":"K Jensen","year":"1981","unstructured":"K. Jensen : How to Find Invariants for Coloured Petri Nets.- Mathematical Foundations of Computer Science, 1981 Lecture Notes in Computer Science 118, Springer Verlag 1981"},{"key":"16_CR6","volume-title":"Analyzing Program Solutions of Coordinated Problems by CP-Nets.- MFCS 78","author":"M Schiffers","year":"1978","unstructured":"M. Schiffers, H. Wedde: Analyzing Program Solutions of Coordinated Problems by CP-Nets.- MFCS 78, J. Winkowski(ed) LNCS 64 Springer Verlag 1978"},{"key":"16_CR7","volume-title":"Nets as a Consistent Formal Tool for the Stepwise Design and Verification of a Distributed System.- Procedings of IFIP TC-8 Working Conference on Evolutionary Information. Systems","author":"K Voss","year":"1981","unstructured":"K. Voss: Nets as a Consistent Formal Tool for the Stepwise Design and Verification of a Distributed System.- Procedings of IFIP TC-8 Working Conference on Evolutionary Information. Systems, Budapest, Sept. 1981. North-Holland Publishing Company"}],"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_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T22:42:09Z","timestamp":1606257729000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69028-0_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540123095","9783642690280"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69028-0_16","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1983]]}}}