James L. Peterson Petri Nets. 223-252 1977 9 ACM Comput. Surv. 3 db/journals/csur/csur9.html#Peterson77