{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T12:13:38Z","timestamp":1725624818211},"publisher-location":"Berlin, Heidelberg","reference-count":15,"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_13","type":"book-chapter","created":{"date-parts":[[2011,10,25]],"date-time":"2011-10-25T05:11:37Z","timestamp":1319519497000},"page":"181-198","source":"Crossref","is-referenced-by-count":0,"title":["Specification and Verification of Networks in a Petri Net based Language"],"prefix":"10.1007","author":[{"given":"Morten","family":"Kyng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"volume-title":"Net theory and applications","year":"1980","key":"13_CR1","unstructured":"Brauer, W . (ed.): Net theory and applications. Proceedings of the Advanced Course on General Net Theory of Processes and Systems, Hamburg 1979. LNCS 84, Springer-Verlag, 1980."},{"key":"13_CR2","volume-title":"Common Base Language","author":"O-J Dahl","year":"1970","unstructured":"Dahl, O.-J., Myhrhaug, B. and Nygaard, K.: Common Base Language. Norwegian Computing Center, Oslo, 1970."},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1016\/0304-3975(81)90113-4","volume":"13","author":"HJ Genrich","year":"1981","unstructured":"Genrich, H.J. and Lautenbach, K.: System modelling with high-level Petri nets. Theoretical Computer Science 13 (1981), 109\u2013136.","journal-title":"Theoretical Computer Science"},{"issue":"8","key":"13_CR4","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Comm. ACM 21, 8 (August 1978), 666\u2013677.","journal-title":"Comm. ACM"},{"key":"13_CR5","volume-title":"System description and the Delta lanugage","author":"E Holbaek-Hanssen","year":"1975","unstructured":"Holbaek-Hanssen, E., H\u00e5ndlykken, P. and Nygaard, K.: System description and the Delta lanugage. Norwegian Computing Center Oslo 1975."},{"issue":"5","key":"13_CR6","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1145\/360051.360079","volume":"19","author":"JH Howard","year":"1976","unstructured":"Howard, J.H.: Proving Monitors. Comm. ACM 19, 5 (May 1976), 273\u2013279.","journal-title":"Comm. ACM"},{"key":"13_CR7","volume-title":"Reference manual for the ADA programming language","author":"JD Ichbiah","year":"1980","unstructured":"Ichbiah, J.D . et al. Reference manual for the ADA programming language. Proposed standard document. United States Department of Defense, July 1980."},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1016\/0304-3975(81)90049-9","volume":"14","author":"K Jensen","year":"1981","unstructured":"Jensen, K.: Coloured Petri nets and the invariant-method. Theoretical Computer Science 14 (1981), 317\u2013336.","journal-title":"Theoretical Computer Science"},{"key":"13_CR9","unstructured":"Jensen, K.: High-level Petri nets. Contained in this volume."},{"key":"13_CR10","volume-title":"Epsilon - a system description language","author":"K Jensen","year":"1982","unstructured":"Jensen, K. and Kyng, M.: Epsilon - a system description language. DAIMI PB-150, Computer Science Department, Aarhus University, September 1982."},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/BFb0022479","volume-title":"Semantics of Concurrent Computation","author":"K Jensen","year":"1979","unstructured":"Jensen, K., Kyng, M. and Madsen, O.L.: A Petri net definition of a system description language. Semantics of Concurrent Computation, Evian 1979, G. Kahn (ed.), LNCS 70, Springer-Verlag 1979, 348\u2013368."},{"issue":"7","key":"13_CR12","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/360248.360251","volume":"19","author":"RM Keller","year":"1976","unstructured":"Keller, R.M.: Formal verification of parallel programs. Comm. ACM 19, 7 (July 1976), 371\u2013384.","journal-title":"Comm. ACM"},{"key":"13_CR13","volume-title":"Concurrent program schemes and their interpretations. DAIMI PB-78","author":"A Mazurkiewicz","year":"1977","unstructured":"Mazurkiewicz, A .: Concurrent program schemes and their interpretations. DAIMI PB-78, Computer Science Department, Aarhus University, July 1977."},{"key":"13_CR14","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/BFb0014669","volume-title":"Program Construction","author":"S Owicki","year":"1979","unstructured":"Owicki, S .: Specification and verification of a network mail system. Program Construction, F.L. Bauer and M. Broy (eds.), LNCS 69, Springer-Verlag 1979, 198\u2013234."},{"key":"13_CR15","volume-title":"Research Reports in Informatics","author":"A Wang","year":"1975","unstructured":"Wang, A .: Generalized types in high-level programming languages. Research Reports in Informatics, No. 1, University of Oslo, 1975."}],"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_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T17:42:08Z","timestamp":1606239728000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-69028-0_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540123095","9783642690280"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-69028-0_13","relation":{},"ISSN":["0343-3005"],"issn-type":[{"type":"print","value":"0343-3005"}],"subject":[],"published":{"date-parts":[[1983]]}}}