Hanna Klaudel;Elisabeth Pelz
-;-
OB(PN)2: an object based petri net programming notation
Concurrent object-oriented programming and petri nets
General parameterised refinement and recursion for the M-net calculus
Theoretical Computer Science