Skip to main content
SpringerLink
Log in
Book cover

International Symposium on Mathematical Foundations of Computer Science

MFCS 1981: Mathematical Foundations of Computer Science 1981 pp 242–251Cite as

Structured nets

  • Communications
  • Conference paper
  • First Online:

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

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Hack, M. Petri net languages. — TR-159, MIT Lab. Computer Science, Cambridge, Mass., 1976, 128 p.

    Google Scholar 

  2. Kotov, V.E. An algebra for parallelism based on Petri nets. — Lecture Notes in Computer Science 64, Springer-Verlag, Berlin 1978, p. 39–55.

    Google Scholar 

  3. Hack, M. Decision problems for Petri nets and vector addition systems. — MAC-TM-59, Project MAC, MIT, 1975, 79 p.

    Google Scholar 

  4. Kosarajn, S.R. Limitations of Dijkstra's semaphore primitives and Petri nets. — Operating Systems Review, 1973, 7, no.4, p. 122–136.

    Google Scholar 

  5. Hack, M. Decidability questions for Petri nets. — TR-161, MIT Lab. Computer Science, Cambridge, Mass., 1976, 194 p.

    Google Scholar 

Download references

Author information

Authors and Affiliations

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

    L. A. Cherkasova & V. E. Kotov

Authors
  1. L. A. Cherkasova
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. V. E. Kotov
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Jozef Gruska Michal Chytil

Rights and permissions

Reprints and permissions

Copyright information

© 1981 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cherkasova, L.A., Kotov, V.E. (1981). Structured nets. In: Gruska, J., Chytil, M. (eds) Mathematical Foundations of Computer Science 1981. MFCS 1981. Lecture Notes in Computer Science, vol 118. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10856-4_90

Download citation

  • DOI: https://doi.org/10.1007/3-540-10856-4_90

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-10856-6

  • Online ISBN: 978-3-540-38769-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation