Now showing items 1-6 of 6
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 ...
INformation Systems for Integrated Manufacturing (INSIM) - A Design Methodology
Full control and management of information flow in manufacturing has not yet been achieved, mainly because of the data inconsistencies and lack of established functional relationships among different manufacturing application ...
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 ...
A Step-Wise Specification of a Manufacturing System Using Petri Nets
Our experience, mainly based on two recently conducted real-life studies for some European companies, reveals that a natural way to proceed with the modeling and specification of large manufacturing system is to decompose ...