Skip to main content
SpringerLink
Log in

On the computational power of extended petri nets

  • Communications
  • Conference paper
  • First Online:
Mathematical Foundations of Computer Science 1978 (MFCS 1978)

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

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. ARAKI, T., KASAMI, T., Some Decision Problems Related to the Reachability Problem for Petri Nets, Theoret. Computer Scie. 3(1977)85–104

    Google Scholar 

  2. ASHCROFT, E.A., Proving Assertions about Parallel Programs, Journ. Computer Scie. 10(1975),110–135

    Google Scholar 

  3. COURTOIS, P.J., HEYMANS, F., PARNAS, D.L., Concurrent Control with "Readers" and "Writers", Comm.ACM 14(1971)10,667–668

    Article  Google Scholar 

  4. EILENBERG, S., Automata, Languages and Machines, Vol. A, Academic Press, New York 1974

    Google Scholar 

  5. FUSS,H.E., AFMG — Ein asynchroner Fluss-Modell-Generator, Gesellschaft für Mathem. und Datenverarb. Bonn, Bericht Nr. 100, Bonn 1975

    Google Scholar 

  6. HACK,M., Decision Problems for Petri Nets and Vector Addition Systems, MAC Techn. Mem. 59, MIT, 1975

    Google Scholar 

  7. HACK,M., Petri Net Languages, MIT Computation Structure Group Memo 124, 1975

    Google Scholar 

  8. PETERSON, J.L., Computation Sequence Sets, Journ. ACM 13(1976),1–24

    Google Scholar 

  9. PRINOTH,R., Eigenschaften färbbarer Petri-Netze, Theoret.Computer Scie., 3rd GI-Conf. 1977, Lec. Notes in Computer Scie., No 48, Springer Berlin, 1977, pp. 306–318

    Google Scholar 

  10. SACERDOTE,G.S., TENNEY,R.L., The Decidability of the Reachability Problem for Vector Addition Systems, (Preliminary version), Proc. 9th. ACM-Symp. Theory of Computing, New York 1977

    Google Scholar 

  11. VALK, R., Self-modifying Nets, Institut für Informatik, Universität Hamburg, Bericht IFI-HH-B-34/77

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Fachbereich Informatik, Universität Hamburg, Germany

    Rüdiger Valk

Authors
  1. Rüdiger Valk
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

J. Winkowski

Rights and permissions

Reprints and permissions

Copyright information

© 1978 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Valk, R. (1978). On the computational power of extended petri nets. In: Winkowski, J. (eds) Mathematical Foundations of Computer Science 1978. MFCS 1978. Lecture Notes in Computer Science, vol 64. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-08921-7_101

Download citation

  • DOI: https://doi.org/10.1007/3-540-08921-7_101

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation