For the most recent entries see the Petri Nets Newsletter.

A Process Model for Data Bases.

Guyot, J.

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography