Analysis and control of discrete event systems represented by petri nets

This publication has 14 references indexed in Scilit:

• Decidability of reachability in persistent vector replacement systems
  Published by Springer Nature ,2005
• Linear system theory for discrete event systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1984
• An Algorithm for the General Petri Net Reachability Problem
  SIAM Journal on Computing, 1984
• A new approach to the analysis of discrete event dynamic systems
  Automatica, 1983
• Persistence of vector replacement systems is decidable
  Acta Informatica, 1981
• The decidability of persistence for vector addition systems
  Information Processing Letters, 1980
• On the reachability problem for 5-dimensional vector addition systems
  Theoretical Computer Science, 1979
• Properties of Conflict-Free and Persistent Petri Nets
  Journal of the ACM, 1978
• Circuit theoretic analysis and synthesis of marked graphs
  IEEE Transactions on Circuits and Systems, 1977
• Decidable problems on the strong connectivity of Petri net reachability sets
  Theoretical Computer Science, 1977