In: SIGMOD Rec. (USA), Vol. 17, No. 4, pages 22-30. 1988.
Abstract: The author presents a process model for data bases, which integrates concepts of relation, process, integrity constraint, event and period. The author presents the formalization which is carried out with petri nets. These are obtained by using refining primitives which keep the interpretation simple for designers. The aspects of verification and validation of the specification are also examined.
Back to the Petri Nets Bibliography