Eike Best Wojciech Fraczak Richard P. Hopkins Hanna Klaudel Elisabeth Pelz M-Nets: An Algebra of High-Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. 813-857 1998 35 Acta Inf. 10 http://link.springer.de/link/service/journals/00236/bibs/8035010/80350813.htm db/journals/acta/acta35.html#BestFHKP98