Valk, Rüdiger Self-modifying nets, a natural extension of Petri nets. (English) Zbl 0415.68025 Automata, languages and programming, 5th Colloq., Udine 1978, Lect. Notes Comput. Sci. 62, 464-476 (1978). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 19 Documents MSC: 68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) Keywords:self-modifying nets; flow of tokens; inclusion of languages; decidability of reachability and boundedness; buffer/transactor nets; Petri nets; concurrency Citations:Zbl 0372.00024 × Cite Format Result Cite Review PDF