A Structure to Decide Reachability in Petri Nets

Jean-Luc Lambert. A Structure to Decide Reachability in Petri Nets. Theoretical Computer Science, 99(1):79-104, 1992.

Abstract

Abstract is missing.