Relation Nets For Production Scheduling InManufacturing
Julia Ann Johnson, Liangyi Chen · WIT transactions on information and communication technologies · 1970
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 mapping between SET schemas and Relation Nets is proposed. A Static SetRelation Net (SSRN) represents a SET schema. A Dynamic Set-Relation Net (DSRN) represents a database query. This work is applied to production 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 systems for manufacturing. 1 Basic Concepts of the SET model The SET model is a database conceptual model proposed by Paul C. Gilmore [3]. A methodology for database design is also proposed [2, 3] that requires information about a database to be recorded by declaring a collection of sets. 2.1 Definition of SET model • Set A sef is a selected collection of entities that share a common property. A set has: An mfemsmm — expresses that common property. An ezZemswn — the membership of a set. of a sef — This is accomplished by giving the set a name and intension. Transactions on Information and Communications Technologies vol 6, © 1994 WIT Press, www.witpress.com, ISSN 1743-3517