{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:19:49Z","timestamp":1725455989069},"publisher-location":"Berlin\/Heidelberg","reference-count":21,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354009511X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0022464","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T05:24:08Z","timestamp":1132723448000},"page":"66-90","source":"Crossref","is-referenced-by-count":3,"title":["Static analysis of concurrent processes for dynamic properties using Petri Nets"],"prefix":"10.1007","author":[{"given":"Otthein","family":"Herzog","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"P. BRINCH HANSEN: Concurrent Pascal \u2014 A Programming Language for Operating System design.\u2014 California Institute of Technology, Information Science, Technical Report No. 10 (April 1974)"},{"key":"5_CR2","unstructured":"BURROUGHS Corporation: BURROUGHS B 6700\/B 7700 ALGOL Language Reference Manual.\u2014 5000649 (1974)"},{"key":"5_CR3","unstructured":"V. G. CERF: Multiprocessors, Semaphores and a Graph Model of Computation.\u2014 University of California, Computer Science Department, UCLA-1OP14-110 (Apr. 1972)"},{"key":"5_CR4","first-page":"43","volume-title":"Co-operating sequential Processes","author":"E. W. Dijkstra","year":"1968","unstructured":"E. W. DIJKSTRA: Co-operating sequential Processes.\u2014 In: F. GENUYS (Ed.): Programming Languages.\u2014 London (1968), p. 43\u2013112"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/BF00264027","volume":"2","author":"H. J. Genrich","year":"1973","unstructured":"H. J. GENRICH, K. LAUTENBACH: Synchronisationsgraphen.\u2014 Acta Informatica 2 (1973), p. 143\u2013161","journal-title":"Acta Informatica"},{"key":"5_CR6","unstructured":"M. H. T. HACK: Extended State Machine allocatable Nets (ESMA) \u2014 an Extension of Free Choice Petri Nets Results.\u2014 M.I.T., Project MAC, Computations Structures Group Memo 78\u20131 (1974)"},{"key":"5_CR7","unstructured":"O. HERZOG, M. YOELI: Control Nets for Asynchronous Systems, Part 1.\u2014 Technion-Israel Institute of Technology, Computer Science Department, TR-74 (May 1976)"},{"key":"5_CR8","unstructured":"O. HERZOG: Zur Analyse der Kontrollstruktur paralleler Programme mit Hilfe von Petri-Netzen.\u2014 Universit\u00e4t Dortmund, Abteilung Informatik, Bericht Nr. 24\/76 (1976)"},{"key":"5_CR9","unstructured":"O. HERZOG: Automatic Deadlock Analysis of parallel Programs.\u2014 In: E. MORLET, D. RIBBENS (Eds.): International Computing Symposium 1977.\u2014 Amsterdam (1977), p. 209\u2013216"},{"key":"5_CR10","unstructured":"O. HERZOG: Liveness of Extended Control Structure Nets.\u2014 University of Utah, Dept. of Computer Science, CSUU-77-107 (August 1977)"},{"key":"5_CR11","volume-title":"Events and Conditions","author":"A. Holt","year":"1970","unstructured":"A. HOLT, F. COMMONER: Events and Conditions.\u2014 Applied Data Research Inc., New York (1970)"},{"key":"5_CR12","unstructured":"IBM Corporation: OS PL\/I Checkout and Optimizing Compilers: Language Reference Manual.\u2014 GC33-0009-3 (1974)"},{"key":"5_CR13","unstructured":"R. M. KELLER: Generalized Petri Nets as Models for System Verification.\u2014 Princeton University, Department of Electrical Engineering, Technical Report No. 200 (Dec. 1975)"},{"issue":"7","key":"5_CR14","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1145\/360248.360251","volume":"19","author":"R. M. Keller","year":"1976","unstructured":"R. M. KELLER: Formal Verification of parallel Programs.\u2014 Comm. ACM 19, 7 (1976), p. 371\u2013394","journal-title":"Comm. ACM"},{"key":"5_CR15","unstructured":"H. C. LAUER: Correctness in Operating Systems.\u2014 AD 753122 (1972)"},{"key":"5_CR16","unstructured":"K. LAUTENBACH, H. A. SCHMID: Use of Petri Nets for proving Correctness of concurrent Process Systems.\u2014 Proceedings of the IFIP Congress 74.\u2014 Amsterdam (1974), p. 187\u2013191"},{"key":"5_CR17","unstructured":"R. E. MILLER: Some Relationships between various Models of Parallelism and Synchronization.\u2014 IBM Thomas J. Watson Research Center, RC 5074 (Oct. 1974)"},{"key":"5_CR18","unstructured":"S. S. PATIL: Limitations and Capabilities of Dijkstra's Semaphore Primitives for Coordination among Processes.\u2014 M.I.T., Project MAC, Computation Structures Group Memo 57 (Feb. 1971)"},{"key":"5_CR19","unstructured":"C. A. PETRI: Concepts of Net Theory.\u2014 In: Mathematical Foundations of Computer Science, Proceedings of Symposium and Summer School, High Tatras, Sept. 3\u20138, 1973.\u2014 Mathematical Institute of the Slovak Academy of Sciences, Computing Research Center United Nations D.P. Bratislava (1973), p. 127\u2013146"},{"key":"5_CR20","unstructured":"H. A. SCHMID: An Approach to the Communication and Synchronization of Processes. In: Proceedings of the International Computing Symposium, Davos 1973.\u2014 Amsterdam (1973), p. 165\u2013171"},{"key":"5_CR21","unstructured":"M. YOELI: Petri Nets and Asynchronous Control Networks.\u2014 Unitversity of Waterloo, Department of Applied Analysis and Computer Science, Research Report CS-73-07 (1973)"}],"container-title":["Lecture Notes in Computer Science","Semantics of Concurrent Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0022464.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:48:33Z","timestamp":1607550513000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0022464"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354009511X"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/bfb0022464","relation":{},"subject":[]}}