In: Proceedings of the 11th International Conference on Application and Theory of Petri Nets, 1990, Paris, France, pages 104-122. 1990.
Also in: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 524; Advances in Petri Nets 1991, pages 277-295. Berlin, Germany: Springer-Verlag, 1991.
Abstract: The author defines classes of Petri nets for which the composition via a set of places preserves liveness. The new notion on which the defintition of these classes is based is F-monotonicity. This is a property which refines liveness monotonicity. F-robust nets on a subset of places P are defined as nets which are non-sensitive to some modification of a weighted amount of tokens in P. A net which can be composed with an F-robust net on P, and which respects the degree of non-sensitivity of the F-robust net ist said to be a non-disturbant net with respect to the F-robust net. The composition of an F-robust net with a non-disturbant net is shown to preserve liveness.
Keywords: liveness preservation; composition (of nets via a set of places); F-monotonicity; F-robust net; non disturbant net; net composition; F-strong net.