Matthew B. Dwyer, Lori A. Clarke. A Compact Petri Net Representation and Its Implications for Analysis. IEEE Trans. Software Eng., 22(11):794-811, 1996. [doi]
@article{DwyerC96:0,
title = {A Compact Petri Net Representation and Its Implications for Analysis},
author = {Matthew B. Dwyer and Lori A. Clarke},
year = {1996},
url = {http://www.computer.org/tse/ts1996/e0794abs.htm},
tags = {analysis},
researchr = {https://researchr.org/publication/DwyerC96%3A0},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {22},
number = {11},
pages = {794-811},
}