In: Proceedings of the International IIS:IIPWM'03 Conference held in Zakopane, Poland, june 2-5, 2003, in series: Advances in Soft Computing, 2003, XIV, 579 p. ISBN 3-540-00843-8, pages 535-540. June 2003.
Abstract: Development of complex concurrent information systems is very often performed in a top-down or bottom-up approaches depending on design circumstances. Petri net morphisms have been proven to be useful in this process as long as certain desired structural and behavioral properties of such systems are preserved. In particular, for general morphisms of Petri nets, we study their structural and behavioral properties and we use Petri net model of Peterson's mutual exclusion algorithm to illustrate a step-wise process of bottom-up abstraction.
Keywords: Petri net morphisms; stewise refinement.