Modeling concepts for VLSI CAD objects
ACM Transactions on Database Systems (TODS)
On the formal specification and verification of CIM architectures using LOTOS
Computers in Industry
An interactive data dictionary facility for CAD/CAM data bases
Proceedings from the first international workshop on Expert database systems
AI Magazine
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Enterprise analysis and database design with M*: a case study
Computers in Industry
Knowledge based systems validation: a state of the art
AI Communications
Information Resources Management in Heterogeneous, Distributed Environments: A Metadatabase Approach
IEEE Transactions on Software Engineering
Design, verification and implementation of rule based information systems for integrated manufacturing (INSIM)
Issues in integrating active rules into database systems
Issues in integrating active rules into database systems
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
The ROSE Data Manager: Using Object Technology to Support Interactive Engineering Applications
IEEE Transactions on Knowledge and Data Engineering
Using Knowledge-Based Technology to Integrate CIM Databases
IEEE Transactions on Knowledge and Data Engineering
A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net
Selected Papers from the First and the Second European Workshop on Application and Theory of Petri Nets
Hi-index | 0.00 |
Focuses on the development of a methodology within a software environment for automating the rule-based implementation of specifications of integrated manufacturing information systems. The specifications are initially formulated in a natural language and subsequently represented in terms of a graphical representation by the system designer. A new graphical representation tool is based on updated Petri nets (UPN) that we have developed as a specialized version of colored Petri nets. The rule-based implementation approach utilizes the similarity of features between UPN and the general rule specification language used for the implementation. The automation of the translation of UPN to the rule specification language is expected to considerably reduce the life-cycle for design and implementation of the system. The application presented deals with the control and management of information flow between the computer-aided design, process planning, manufacturing resource planning and shop floor control databases. This provides an integrated information framework for computer integrated manufacturing systems.