Reachability in live and safe free-choice Petri nets is NP-complete

  • Authors:
  • Javier Esparza

  • Affiliations:
  • Technische Univ. München, Munich, Germany

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 1998

Quantified Score

Hi-index 5.23

Visualization

Abstract