In: Information Systems, Vol. 14, No. 4, pages 327-340. 1989.
Abstract: Augmented place transition nets with token values are used as a semantic data modelling formalism. This formalism is able to cover relevant aspects of the dynamic behaviour of a database in a concise manner and enables the data engineer to specify constraints for event sequences and object type assignments; therefore it is proposed as a data modelling tool to map object-event interactions from the universe of discourse to the conceptual scheme.
Keywords: dynamic constraints; augmented place/transition net; token value; semantic data modelling; event sequence; conceptual scheme.