In: COMPEURO'90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering, 1990, Tel-Aviv, Israel, pages 544-545. Los Alamitos, CA, USA: IEEE Comput. Soc. Press, 1990.
Abstract: The Petri net formalism is used in the synthesis of system designs. A methodology is used that makes it possible to synthesize well-behaved Petri nets, using a stepwise refinement technique. A subclass of nets called information flow nets (IFNs) is proposed, and the notion of a well-behaved IFN is defined. A refinement procedure for IFNs is presented, and the conditions required for the refinement procedure to preserve well-behavedness are derived.
Keywords: system design; well-behaved information flow net; refinement; well-behavedness preservation.