Self-modifying nets, a natural extension of Petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 62 LNCS, Issue , 1978, Pages 464-476

  Valk, Rüdiger ^a  

^a UNIVERSITY OF HAMBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85034565293     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-08860-1_35     Document Type: Conference Paper

References (12)

1. ASHCROFT, E.A., Proving Assertions about Parallel Programs, Journ. Computer Syst. Sci. 10(1975),110–135
2. BAKER, B.S., BOOK, V.B., Reversal-Bounded Multipushdown Machines, Journ. Computer Syst. Scie. 8(1974),315–332
3. COURTOIS, P.J., HEYMANS, F., PARNAS, D.L., Concurrent Control with “Readers” and “Writers”, Comm.ACM 14(1971)10,667–668
4. EILENBERG, S., Automata, Languages and Machines, Vol A, Academic Press, New York, 1974
5. FUSS H.E., AFMG — Ein asynchroner Fluss-Modell-Generator, Gesellschaft für Mathematik und Datenverarbeitung, Bericht Nr. 100, Bonn 1975
6. HACK M., Decision Problems for Petri Nets and Vector Addition Systems, MAC Techn. Mem. 59, MIT, 1975
7. HACK M., Petri Net Languages, MIT Comp. Struct. Group, Memo 124, 1975
8. JANTZEN M., On the Hierarchy of Petri Net Languages, submitted to Rev. Française Automat. Informat. Recherche Opérationnelle
9. PETERSON, J.L., Computation Sequence Sets, Journ. Computer Syst. Scie. 13(1976),1–24
10. 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 1977
11. VALK R., Self-modifying Nets, Institut für Informatik, Universität Hamburg, Bericht IFI-HH-B-34/77
12. VALK, R., VIDALNAQUET, G., On the Rationality of Petri Net Languages, Theoretical Computer Scie., 3rd GI-Conf. 1977, Lec. Notes in Computer Scie., No 48, Springer, Berlin 1977