Model checking of persistent Petri nets

This publication has 9 references indexed in Scilit:

• Efficient verification of determinate processes
  Published by Springer Nature ,1991
• Petri nets: Properties, analysis and applications
  Proceedings of the IEEE, 1989
• Towards a theory of simulation for verification of concurrent systems
  Published by Springer Nature ,1989
• Nonsequential Processes
  Published by Springer Nature ,1988
• Sequential and concurrent behaviour in Petri net theory
  Theoretical Computer Science, 1987
• Notions of Realizable Non-Sequential Processes
  Fundamenta Informaticae, 1986
• Reasoning about networks with many identical finite-state processes
  Published by Association for Computing Machinery (ACM) ,1986
• Properties of Conflict-Free and Persistent Petri Nets
  Journal of the ACM, 1978
• Marked directed graphs
  Journal of Computer and System Sciences, 1971