Arbeitspapiere der GMD Nr. 428. St. Augustin: Gesellschaft für Mathematik und Datenverarbeitung mbH, January 1990.
Also in: J.W. de Bakker, et al.: Lecture Notes in Computer Science, Vol. 430; Proceedings of the REX Workshop on Stepwise Refinement, 1989, Mook, The Netherlands, pages 267-300. Berin, Germany: Springer-Verlag, 1990.
Abstract: The authors consider an operator for refinement of actions to be used in the design of concurrent systems. Actions on a given level of abstraction are replaced by more complicated processes on a lower level. This is done in such a way that the behaviour of the refined system may be inferred compositionally from the behaviour of the origianl system and from the behaviour of the processes substituted for actions. The authors define this refinement operation for causality based models like event structures and Petri nets.
Keywords: action refinement; event structure; compositionality.
Back to the Petri Nets Bibliography