Abstract
This paper discusses a number of properties that a partial order semantics should have in order to support the modular construction of nets and to deal with finite capacities. Characterizations for these properties are shown, and a new semantics is introduced which seems to be the natural choice if a certain set of properties is required.
Get full access to this article
View all access options for this article.