On questions of fairness and temporal logic for conflict-free Petri nets

This publication has 35 references indexed in Scilit:

• Modalities for model checking: branching time logic strikes back
  Science of Computer Programming, 1987
• Limits for automatic verification of finite-state concurrent systems
  Information Processing Letters, 1986
• Infinite behaviour and fairness in petri nets
  Published by Springer Nature ,1985
• Fairness and conspiracies
  Information Processing Letters, 1984
• Termination of Probabilistic Concurrent Program
  ACM Transactions on Programming Languages and Systems, 1983
• The decidability of persistence for vector addition systems
  Information Processing Letters, 1980
• Vector addition systems and regular languages
  Journal of Computer and System Sciences, 1980
• On the reachability problem for 5-dimensional vector addition systems
  Theoretical Computer Science, 1979
• Bounds on positive integral solutions of linear Diophantine equations
  Proceedings of the American Mathematical Society, 1976
• A decidability theorem for a class of vector-addition systems
  Information Processing Letters, 1975