Jean-Luc Lambert. A Structure to Decide Reachability in Petri Nets. Theoretical Computer Science, 99(1):79-104, 1992.
@article{Lambert92:0, title = {A Structure to Decide Reachability in Petri Nets}, author = {Jean-Luc Lambert}, year = {1992}, researchr = {https://researchr.org/publication/Lambert92%3A0}, cites = {0}, citedby = {0}, journal = {Theoretical Computer Science}, volume = {99}, number = {1}, pages = {79-104}, }