A compact Petri net representation and its implications for analysis
Publication Date
1996
Journal or Book Title
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Pages
794-811
Volume
22
Issue
11
Recommended Citation
Dwyer, MB and Clarke, LA, "A compact Petri net representation and its implications for analysis" (1996). IEEE TRANSACTIONS ON SOFTWARE ENGINEERING. 450.
Retrieved from https://scholarworks.umass.edu/cs_faculty_pubs/450
COinS