Modeling concurrent programs with colored Petri nets

Ryan Stansifer, Mike Beaven, Dan C. Marinescu. Modeling concurrent programs with colored Petri nets. Journal of Systems and Software, 26(2):129-148, 1994. [doi]

Abstract

Abstract is missing.