In: Fundamenta Informaticae, Vol. 14, No. 1, pages 109-128. January 1991.
Abstract: The paper aims at developing a semantics for unmarked predicate transition nets. This semantics, based on the concept of behavior as isomorphic class of unfoldings of the net, is compositional, i.e. the behavior of a complex net can be obtained by a suitable composition of the behaviors of its parts. The concept of behavior introduced here is similar to that of process for which an algebra has been developed by J. Winkowski and A. Maggiolo-Schettini (1987). A case in which the behavior of marked predicate transition nets can be derived from the behaviors of its parts is also discussed.
Keywords: compositional semantics (for) unmarked predicate/transition net(s); net unfolding; net behaviour; net composition.