Abstract
Predicate/Transition nets are a high level description tool for complex systems. 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 in [16]. A case in which the behavior of Marked Predicate/Transition nets can be derived from the behaviors of its parts is also discussed.
Get full access to this article
View all access options for this article.