Preview
Unable to display preview. Download preview PDF.
References
P. BRINCH HANSEN: Concurrent Pascal — A Programming Language for Operating System design.— California Institute of Technology, Information Science, Technical Report No. 10 (April 1974)
BURROUGHS Corporation: BURROUGHS B 6700/B 7700 ALGOL Language Reference Manual.— 5000649 (1974)
V. G. CERF: Multiprocessors, Semaphores and a Graph Model of Computation.— University of California, Computer Science Department, UCLA-1OP14-110 (Apr. 1972)
E. W. DIJKSTRA: Co-operating sequential Processes.— In: F. GENUYS (Ed.): Programming Languages.— London (1968), p. 43–112
H. J. GENRICH, K. LAUTENBACH: Synchronisationsgraphen.— Acta Informatica 2 (1973), p. 143–161
M. H. T. HACK: Extended State Machine allocatable Nets (ESMA) — an Extension of Free Choice Petri Nets Results.— M.I.T., Project MAC, Computations Structures Group Memo 78–1 (1974)
O. HERZOG, M. YOELI: Control Nets for Asynchronous Systems, Part 1.— Technion-Israel Institute of Technology, Computer Science Department, TR-74 (May 1976)
O. HERZOG: Zur Analyse der Kontrollstruktur paralleler Programme mit Hilfe von Petri-Netzen.— Universität Dortmund, Abteilung Informatik, Bericht Nr. 24/76 (1976)
O. HERZOG: Automatic Deadlock Analysis of parallel Programs.— In: E. MORLET, D. RIBBENS (Eds.): International Computing Symposium 1977.— Amsterdam (1977), p. 209–216
O. HERZOG: Liveness of Extended Control Structure Nets.— University of Utah, Dept. of Computer Science, CSUU-77-107 (August 1977)
A. HOLT, F. COMMONER: Events and Conditions.— Applied Data Research Inc., New York (1970)
IBM Corporation: OS PL/I Checkout and Optimizing Compilers: Language Reference Manual.— GC33-0009-3 (1974)
R. M. KELLER: Generalized Petri Nets as Models for System Verification.— Princeton University, Department of Electrical Engineering, Technical Report No. 200 (Dec. 1975)
R. M. KELLER: Formal Verification of parallel Programs.— Comm. ACM 19, 7 (1976), p. 371–394
H. C. LAUER: Correctness in Operating Systems.— AD 753122 (1972)
K. LAUTENBACH, H. A. SCHMID: Use of Petri Nets for proving Correctness of concurrent Process Systems.— Proceedings of the IFIP Congress 74.— Amsterdam (1974), p. 187–191
R. E. MILLER: Some Relationships between various Models of Parallelism and Synchronization.— IBM Thomas J. Watson Research Center, RC 5074 (Oct. 1974)
S. S. PATIL: Limitations and Capabilities of Dijkstra's Semaphore Primitives for Coordination among Processes.— M.I.T., Project MAC, Computation Structures Group Memo 57 (Feb. 1971)
C. A. PETRI: Concepts of Net Theory.— In: Mathematical Foundations of Computer Science, Proceedings of Symposium and Summer School, High Tatras, Sept. 3–8, 1973.— Mathematical Institute of the Slovak Academy of Sciences, Computing Research Center United Nations D.P. Bratislava (1973), p. 127–146
H. A. SCHMID: An Approach to the Communication and Synchronization of Processes. In: Proceedings of the International Computing Symposium, Davos 1973.— Amsterdam (1973), p. 165–171
M. YOELI: Petri Nets and Asynchronous Control Networks.— Unitversity of Waterloo, Department of Applied Analysis and Computer Science, Research Report CS-73-07 (1973)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1979 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Herzog, O. (1979). Static analysis of concurrent processes for dynamic properties using Petri Nets. In: Kahn, G. (eds) Semantics of Concurrent Computation. Lecture Notes in Computer Science, vol 70. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022464
Download citation
DOI: https://doi.org/10.1007/BFb0022464
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-09511-8
Online ISBN: 978-3-540-35163-4
eBook Packages: Springer Book Archive