Modelling dynamic constraints using augmented place transition nets

This publication has 4 references indexed in Scilit:

• DATAID-1: A database design methodology
  Information Systems, 1985
• A taxonomy of time databases
  Published by Association for Computing Machinery (ACM) ,1985
• System modelling with high-level Petri nets
  Theoretical Computer Science, 1981
• Database abstractions
  ACM Transactions on Database Systems, 1977