Now showing items 1-5 of 5
Design, Verification and Implementation of Rule Based Information Systems for Integrated Manufacturing (INSIM)
Full control and management of information flow in an automated factory has not yet been achieved, mainly because of the data inconsistencies and lack of established functional relationships among different manufacturing ...
A Class of Conflict Free Petri Nets Used for Controlling Manufacturing Systems
This paper is devoted to the behavior, evaluation and management of non-cyclic discrete systems in general and manufacturing systems in particular. We introduce a special type of Petri nets called CFIOs (Conflict-Free nets ...
Implementation of Rule Based Information Systems for Integrated Manufacturing
This paper 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 ...
UPN: A Petri Net Based Graphical Representation of Company Policy Specifications in CIM
A graphical representation schema - Updated Petri Nets (UPN) - has been developed to model rule based company policy specifications, in the context of computer integrated manufacturing systems. UPN facilitates the modeling ...
INformation Systems for Integrated Manufacturing (INSIM)
A mechanism with the potential to control the information flow among all of the manufacturing application systems, in order to streamline factory activities, based on company-specific and company-wide policies and procedures ...