Eike Best, Hans Fleischhack, Wojciech Fraczak, Richard P. Hopkins, Hanna Klaudel, Elisabeth Pelz: An M-net Semantics of B(PN)2. STRICT 1995: 85-100