Author(s)

J. Johnson & L. Chen

Abstract

Relation Nets (RN) are a class of Petri net. RN has been used in logic reasoning and system property verification. In our previous work [1], we apply Relation Nets to analysis and simulation of database queries. Data stored in databases state facts. A successful query for information in the databases must 'conform' to the facts stored in the database. A map- ping between SET schemas and Relation Nets is proposed. A Static Set- Relation Net (SSRN) represents a SET schema. A Dynamic Set-Relation Net (DSRN) represents a database query. This work is applied to produc- tion scheduling in manufacturing. The dynamic properties of DSRN permit production, demand and inventory to be modeled in terms of transitions and firing rules. The RN modeling is formulated in the context of the design of decision support sys

Keywords