Harro Wimmel Lutz Priese Algebraic Characterization of Petri Net Pomset Semantics. 406-420 1997 conf/concur/1997 CONCUR db/conf/concur/concur1997.html#WimmelP97 http://dx.doi.org/10.1007/3-540-63141-0_28