Petri-net-based deadlock analysis of Process Algebra programs

This publication has 12 references indexed in Scilit:

• Using partial orders to improve automatic verification methods
  Published by American Mathematical Society (AMS) ,1991
• Detection of Ada static deadlocks using Petri net invariants
  IEEE Transactions on Software Engineering, 1989
• A petri net framework for automated static analysis of Ada tasking behavior
  Journal of Systems and Software, 1988
• A distributed operational semantics for CCS based on condition/event systems
  Acta Informatica, 1988
• A method for stepwise refinement and abstraction of Petri nets
  Journal of Computer and System Sciences, 1983
• A general-purpose algorithm for analyzing concurrent programs
  Communications of the ACM, 1983
• Complexity of analyzing the synchronization structure of concurrent programs
  Acta Informatica, 1983
• Additional methods for reduction and expansion of marked graphs
  IEEE Transactions on Circuits and Systems, 1981
• Reduction and expansion of live and safe marked graphs
  IEEE Transactions on Circuits and Systems, 1980
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980