Eike Best Jörg Desel Partial Order Behaviour and Structure of Petri Nets. 123-138 1990 2 Formal Aspects Comput. 2 db/journals/fac/fac2.html#BestD90 https://doi.org/10.1007/BF01888220