海量图书期刊资源,随时随地畅享阅读乐趣
Concurrency and Nets || High Level Petri Nets and Distributed TerminationVoss, Klaus; Genrich, Hartmann J.; Rozenberg, Grzegorz · 1987