Self-modifying nets, a natural extension of Petri nets

  • Rüdiger Valk
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 62)


Labelling Function Empty Word Reachability Problem Register Machine Firing Rule 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

6. References

  1. /As/.
    ASHCROFT, E.A., Proving Assertions about Parallel Programs, Journ. Computer Syst. Scie. 10(1975),110–135Google Scholar
  2. /BB/.
    BAKER, B.S., BOOK, V.B., Reversal-Bounded Multipushdown Machines, Journ. Computer Syst. Scie. 8(1974),315–332Google Scholar
  3. /CHP/.
    COURTOIS, P.J., HEYMANS, F., PARNAS, D.L., Concurrent Control with "Readers" and "Writers", Comm.ACM 14(1971)10,667–668CrossRefGoogle Scholar
  4. /Ei/.
    EILENBERG, S., Automata, Languages and Machines, Vol A, Academic Press, New York, 1974Google Scholar
  5. /Fu/.
    FUSS,H.E., AFMG — Ein asynchroner Fluss-Modell-Generator, Gesellschaft für Mathematik und Datenverarbeitung, Bericht Nr. 100, Bonn 1975Google Scholar
  6. /Ha1/.
    HACK,M., Decision Problems for Petri Nets and Vector Addition Systems, MAC Techn. Mem. 59, MIT, 1975Google Scholar
  7. /Ha2/.
    HACK,M., Petri Net Languages, MIT Comp. Struct. Group, Memo 124, 1975Google Scholar
  8. /Ja/.
    JANTZEN, M., On the Hierarchy of Petri Net Languages, submitted to Rev. Française Automat. Informat. Recherche OpérationnelleGoogle Scholar
  9. /Pe/.
    PETERSON, J.L., Computation Sequence Sets, Journ. Computer Syst. Scie. 13(1976),1–24Google Scholar
  10. /ST/.
    SACERDOTE,G.S., TENNEY,R.L., The Decidability of the Reachability Problem for Vector Addition Systems, (Preliminary Version), Proc. 9th. ACM-Sympos. Theory of Computing, New York 1977Google Scholar
  11. /Va/.
    VALK, R., Self-modifying Nets, Institut für Informatik, Universität Hamburg, Bericht IFI-HH-B-34/77Google Scholar
  12. /VV/.
    VALK, R., VIDAL-NAQUET, G., On the Rationality of Petri Net Languages, Theoretical Computer Scie., 3rd GI-Conf. 1977, Lec. Notes in Computer Scie., No 48, Springer, Berlin 1977Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1978

Authors and Affiliations

  • Rüdiger Valk
    • 1
  1. 1.Fachbereich InformatikUniversität HamburgGermany

Personalised recommendations