M-nets: An algebra of high-level Petri nets, with an application to the semantics of concurrent programming languages Eike BestWojciech FrączakElisabeth Pelz Pages: 813 - 857