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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.