Skip to main content
SpringerLink
Log in

Concurrent processes with synchronization: Net and algebraic approach

  • Conference paper
  • First Online:
Logic at Botik '89 (Logic at Botik 1989)

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

Included in the following conference series:

  • 149 Accesses

Abstract

The paper consists of two parts. The first one deals with the net formalism (OS-nets) to specify concurrent processes with synchronization. Some results of deadlock detection for OS-nets based on analysing the net structure are established.

However, an algebraic approach to specify concurrent processes with synchronization and analyse their properties seems more promising and convenient. The second part of the paper is devoted to the algebra of finite concurrent processes with synchronization and its axiomatization.

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. Best E. The relative strength of K-density. LNCS, Vol. 84, 1980, p. 261–276.

    Google Scholar 

  2. Cherkasova L.A. On Models and Algebras for Concurrent Processes. LNCS, vol. 324, p.27–43, 1988.

    Google Scholar 

  3. Goltz U., Reisig W. Processes of place-transition-nets. LNCS, Vol. 154, 1983, p. 264–277.

    Google Scholar 

  4. Kotov V.E. An algebra for parallelism based on Petri Nets. LNCS, Vol. 64, p. 39–55, 1979.

    Google Scholar 

  5. Kotov V.E., Cherkasova L.A. On structural properties of generalized processes. — LNCS, Vol. 188, 1984, p. 288–306.

    Google Scholar 

  6. Nielsen M., Plotkin G., Winskel G. Petri Nets, Event Structures and Domains. LNCS, Vol. 70, 1979, p. 266–284.

    Google Scholar 

  7. Peterson J.G. Petri net theory and the modelling of systems. Prentice-Hall Inc., N.Y., 1981, 290 p.

    Google Scholar 

  8. Petri C.A. Non-sequential Processes. — ISF-Report-77.05, St. Augustin: Gesellschaft fur Mathematik und Datenverarbeitung, 1977, 31 p.

    Google Scholar 

  9. Pratt V.R. Modelling Concurrency with Partial Orders. — International Journal of Parallel Programming, Vol. 15, No 1, 1987, p. 33–71.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computing Center, Siberian Division of the USSR, Academy of Sciences, 630090, Novosibirsk, USSR

    Ludmila A. Cherkasova & Alexander S. Filurin

Authors
  1. Ludmila A. Cherkasova
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alexander S. Filurin
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Albert R. Meyer Michael A. Taitslin

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cherkasova, L.A., Filurin, A.S. (1989). Concurrent processes with synchronization: Net and algebraic approach. In: Meyer, A.R., Taitslin, M.A. (eds) Logic at Botik '89. Logic at Botik 1989. Lecture Notes in Computer Science, vol 363. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51237-3_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-51237-3_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51237-0

  • Online ISBN: 978-3-540-46180-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation