Weak and Strong Composition of High-Level Petri-Nets.

Eike Best, Alexander Lavrov

Browse the full CONCUR paper archive.