Boleslaw Mikolajczak Zuyan Wang Conceptual Modeling of Concurrent Information Systems with General Morphisms of Petri Nets. 535-539 2003 conf/iis/2003 IIS db/conf/iis/iis2003.html#MikolajczakW03