A Compact Petri Net Representation and Its Implications for Analysis

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]

Authors

Matthew B. Dwyer

This author has not been identified. Look up 'Matthew B. Dwyer' in Google

Lori A. Clarke

This author has not been identified. Look up 'Lori A. Clarke' in Google