Ryan Stansifer Mike Beaven Dan C. Marinescu Modeling concurrent programs with colored Petri nets. 129-148 1994 26 Journal of Systems and Software 2 http://dx.doi.org/10.1016/0164-1212(94)90084-1 db/journals/jss/jss26.html#StansiferBM94