{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:54Z","timestamp":1725455994772},"publisher-location":"Berlin\/Heidelberg","reference-count":20,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354009511X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022479","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:24:08Z","timestamp":1132723448000},"page":"348-368","source":"Crossref","is-referenced-by-count":6,"title":["A Petri net definition of a system description language"],"prefix":"10.1007","author":[{"given":"Kurt","family":"Jensen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Morten","family":"Kyng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ole Lehrmann","family":"Madsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"20_CR1","volume-title":"System Description and the Delta Language","author":"Delta","year":"1975","unstructured":"Delta, Holb\u00e6k-Hanssen, E., H\u00e5ndlykken, P. and Nygaard, K.: System Description and the Delta Language. Norwegian Computing Center, Oslo 1975."},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Delta, Jensen, K., Kyng, M. and Madsen, O.L.: Delta Semantics Defined by Petri Nets. DAIMI PB-95, March 1979, (Comp. Sci. Dept., Aarhus University).","DOI":"10.7146\/dpb.v8i95.6511"},{"issue":"8","key":"20_CR3","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1145\/360933.360975","volume":"18","author":"E.W. Dijkstra","year":"1975","unstructured":"Dijkstra, E.W.: Guarded Commands, Nondeterminacy and Formal Derivation of Programs. Comm. ACM 18, 8 (August 1975), 453\u2013457.","journal-title":"Comm. ACM"},{"issue":"1","key":"20_CR4","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1145\/356715.356723","volume":"10","author":"H.J. Genrich","year":"1978","unstructured":"Genrich, H.J. and Thiagarajan, P.S.: Net Progress. Computing Surveys Vol. 10, No. 1 (March 1978), 84\u201385.","journal-title":"Computing Surveys"},{"key":"20_CR5","volume-title":"The Analysis of Distributed Systems by Means of Predicate\/Transition-Nets","author":"H.J. Genrich","year":"1979","unstructured":"Genrich, H.J. and Lautenbach, K.: The Analysis of Distributed Systems by Means of Predicate\/Transition-Nets. Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, Bonn, January 1979 (Draft version)."},{"key":"20_CR6","unstructured":"Jensen, K.: Extended and Hyper Petri Nets. DAIMI TR-5, August 1978."},{"issue":"7","key":"20_CR7","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/360248.360251","volume":"19","author":"R.M. Keller","year":"1976","unstructured":"Keller, R.M.: Formal Verification of Parallel Programs, Comm. ACM 19, 7 (July 1976), 371\u2013384.","journal-title":"ACM"},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"Kotov, V.E.: An Algebra for Parallelism Based on Petri Nets. Mathematical Foundations of Computer Science 1978, J. Winkowski (ed.), Springer Verlag (1978), 39\u201355.","DOI":"10.1007\/3-540-08921-7_55"},{"key":"20_CR9","doi-asserted-by":"crossref","unstructured":"Kyng, M.: Implementation of the Delta Language Interrupt Concept within the Quasiparallel Environment of Simula. DAIMI PB-58, August 1976.","DOI":"10.7146\/dpb.v5i58.6477"},{"key":"20_CR10","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1007\/BF00264564","volume":"5","author":"P.E. Lauer","year":"1975","unstructured":"Lauer, P.E. and Campbell, R.H.: Formal Semantics of a Class of High-Level Primitives for Coordinating Concurrent Processes. Acta Informatica 5 (1975), 297\u2013332.","journal-title":"Acta Informatica"},{"key":"20_CR11","doi-asserted-by":"crossref","unstructured":"Mazurkiewicz, A.: Concurrent Program Schemes and their Interpretation, DAIMI PB-78, July 1977.","DOI":"10.7146\/dpb.v6i78.7691"},{"key":"20_CR12","doi-asserted-by":"crossref","unstructured":"Moalla, M., Pulou, J. and Sifakis, J.: Synchronized Petri Nets: A Model for the Description of Non-autonomous Systems. Mathematical Foundations of Computer Science 1978, J. Winkowski (ed.), Springer-Verlag (1978), 374\u2013384.","DOI":"10.1007\/3-540-08921-7_85"},{"key":"20_CR13","volume-title":"System Description by Simula \u2014 An Introduction","author":"K. Nygaard","year":"1970","unstructured":"Nygaard, K.: System Description by Simula \u2014 An Introduction. Norwegian Computing Center, Oslo, 1970."},{"key":"20_CR14","series-title":"IST Report","volume-title":"Semantics of a Language for Describing Systems and Processes","author":"Pearl","year":"1977","unstructured":"Pearl, Wegner, E. and Hopmann, C.: Semantics of a Language for Describing Systems and Processes. IST Report 36. Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, Bonn, Mai 1977 (revised January 1978)."},{"issue":"3","key":"20_CR15","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"J.L. Peterson","year":"1977","unstructured":"Peterson, J.L.: Petri Nets. Computing Surveys Vol. 9, No. 3 (September 1977), 223\u2013252. Commented in [Genrich & Thiagarajan 78].","journal-title":"Computing Surveys"},{"key":"20_CR16","unstructured":"Petri, C.A.: Concepts of Net Theory. Proc. Symp. Summer School on Mathematical Foundations of Computer Science, High Tatras, Sept. 3\u20138, 1973, Math. Inst. Slovak Academy of Science, 1973, 137\u2013146."},{"key":"20_CR17","volume-title":"Interpretations of Net Theory. Interner Bericht 75-07","author":"C.A. Petri","year":"1975","unstructured":"Petri, C.A.: Interpretations of Net Theory. Interner Bericht 75-07. Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, Bonn, July 1975."},{"key":"20_CR18","volume-title":"Nichtsequentielle Prozesse. Interner Bericht 76-6","author":"C.A. Petri","year":"1976","unstructured":"Petri, C.A.: Nichtsequentielle Prozesse. Interner Bericht 76-6, Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, Bonn, June 1976 (translated to English by P. Krause and J. Low)."},{"key":"20_CR19","volume-title":"Common Base Language","author":"Simula","year":"1970","unstructured":"Simula, Dahl, O.-J., Myhrhaug, B. and Nygaard, K.: Common Base Language. Norwegian Computing Center, Oslo, 1970."},{"key":"20_CR20","volume-title":"Assignment Systems \u2014 A Model for Asynchronous Computations. Interner Bericht 76-10","author":"P.S. Thiagarajan","year":"1976","unstructured":"Thiagarajan, P.S. and Genrich, H.J.: Assignment Systems \u2014 A Model for Asynchronous Computations. Interner Bericht 76-10, Gesellschaft f\u00fcr Mathematik und Datenverarbeitung, Bonn, November 1976."}],"container-title":["Lecture Notes in Computer Science","Semantics of Concurrent Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0022479","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:18:20Z","timestamp":1586578700000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022479"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354009511X"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/bfb0022479","relation":{},"subject":[]}}