Reset nets between decidability and undecidability

This publication has 9 references indexed in Scilit:

• Coupling asynchrony and interrupts: Place Chart Nets
  Lecture Notes in Computer Science, 1997
• A general systematic approach to arc extensions for coloured Petri Nets
  1994
• Petri nets with marking-dependent arc cardinality: Properties and analysis
  Lecture Notes in Computer Science, 1994
• Reduction and covering of infinite reachability trees
  Information and Computation, 1990
• On the computational power of extended petri nets
  1978
• Self-modifying nets, a natural extension of Petri nets
  1978
• The covering and boundedness problems for vector addition systems
  Theoretical Computer Science, 1978
• Some decision problems related to the reachability problem for Petri nets
  Theoretical Computer Science, 1976
• Parallel program schemata
  Journal of Computer and System Sciences, 1969