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.

No reviews for this publication, yet.