A Compact Petri Net Representation for Concurrent Programs

@inproceedings{Dwyer-al:ICSE95,
  author    = {Matthew B. Dwyer and
               Lori A. Clarke and
               Kari A. Nies},
  title     = {A Compact Petri Net Representation for Concurrent Programs},
  booktitle = {ICSE},
  pages     = {147--157},
  publisher = {{ACM}},
  year      = {1995},
}