Solving coverability problems of petri nets by partial deduction

  • Authors:
  • Michael Leuschel;Helko Lehmann

  • Affiliations:
  • Department of Electronics and Computer Science, University of Southampton, Southampton SO17 1BJ, U.K.;Department of Electronics and Computer Science, University of Southampton, Southampton SO17 1BJ, U.K.

  • Venue:
  • Proceedings of the 2nd ACM SIGPLAN international conference on Principles and practice of declarative programming
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

Abstract