Self-modifying nets, a natural extension of Petri nets
Author:
- 1 January 1978
- book chapter
- Published by Springer Nature
- p. 464-476
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- The decidability of the reachability problem for vector addition systems (Preliminary Version)1977
- Computation sequence setsJournal of Computer and System Sciences, 1976
- Proving assertions about parallel programsJournal of Computer and System Sciences, 1975
- Reversal-bounded multipushdown machinesJournal of Computer and System Sciences, 1974
- Concurrent control with “readers” and “writers”Communications of the ACM, 1971