We’re sorry, something doesn't seem to be working properly.

Please try refreshing the page. If that doesn't work, please contact support so we can address the problem.

Static analysis of concurrent processes for dynamic properties using Petri Nets | SpringerLink
Skip to main content
SpringerLink
Log in

Static analysis of concurrent processes for dynamic properties using Petri Nets

  • Conference paper
  • First Online:
Book cover Semantics of Concurrent Computation

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 70))

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. P. BRINCH HANSEN: Concurrent Pascal — A Programming Language for Operating System design.— California Institute of Technology, Information Science, Technical Report No. 10 (April 1974)

    Google Scholar 

  2. BURROUGHS Corporation: BURROUGHS B 6700/B 7700 ALGOL Language Reference Manual.— 5000649 (1974)

    Google Scholar 

  3. V. G. CERF: Multiprocessors, Semaphores and a Graph Model of Computation.— University of California, Computer Science Department, UCLA-1OP14-110 (Apr. 1972)

    Google Scholar 

  4. E. W. DIJKSTRA: Co-operating sequential Processes.— In: F. GENUYS (Ed.): Programming Languages.— London (1968), p. 43–112

    Google Scholar 

  5. H. J. GENRICH, K. LAUTENBACH: Synchronisationsgraphen.— Acta Informatica 2 (1973), p. 143–161

    Article  Google Scholar 

  6. 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)

    Google Scholar 

  7. O. HERZOG, M. YOELI: Control Nets for Asynchronous Systems, Part 1.— Technion-Israel Institute of Technology, Computer Science Department, TR-74 (May 1976)

    Google Scholar 

  8. O. HERZOG: Zur Analyse der Kontrollstruktur paralleler Programme mit Hilfe von Petri-Netzen.— Universität Dortmund, Abteilung Informatik, Bericht Nr. 24/76 (1976)

    Google Scholar 

  9. O. HERZOG: Automatic Deadlock Analysis of parallel Programs.— In: E. MORLET, D. RIBBENS (Eds.): International Computing Symposium 1977.— Amsterdam (1977), p. 209–216

    Google Scholar 

  10. O. HERZOG: Liveness of Extended Control Structure Nets.— University of Utah, Dept. of Computer Science, CSUU-77-107 (August 1977)

    Google Scholar 

  11. A. HOLT, F. COMMONER: Events and Conditions.— Applied Data Research Inc., New York (1970)

    Google Scholar 

  12. IBM Corporation: OS PL/I Checkout and Optimizing Compilers: Language Reference Manual.— GC33-0009-3 (1974)

    Google Scholar 

  13. R. M. KELLER: Generalized Petri Nets as Models for System Verification.— Princeton University, Department of Electrical Engineering, Technical Report No. 200 (Dec. 1975)

    Google Scholar 

  14. R. M. KELLER: Formal Verification of parallel Programs.— Comm. ACM 19, 7 (1976), p. 371–394

    Article  Google Scholar 

  15. H. C. LAUER: Correctness in Operating Systems.— AD 753122 (1972)

    Google Scholar 

  16. 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

    Google Scholar 

  17. R. E. MILLER: Some Relationships between various Models of Parallelism and Synchronization.— IBM Thomas J. Watson Research Center, RC 5074 (Oct. 1974)

    Google Scholar 

  18. 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)

    Google Scholar 

  19. 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

    Google Scholar 

  20. 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

    Google Scholar 

  21. M. YOELI: Petri Nets and Asynchronous Control Networks.— Unitversity of Waterloo, Department of Applied Analysis and Computer Science, Research Report CS-73-07 (1973)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IBM Development and Research Lab., Schönaicher Str. 220, D - 7030, Böblingen, F.R.G.

    Otthein Herzog

Authors
  1. Otthein Herzog
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Gilles Kahn

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation