An architecture for a shop-floor controller using colored Petri nets

In a dynamic and flexible manufacturing environment, a shop-floor controller must be designed so that it automatically (or with minimum human intervention) and quickly responds to the changes (e.g., in part type or part routing) in the system. Such a performance may be achieved provided that the controller is simple and sufficiently general in its scope of application. In this article, we present an architecture for such a shop-floor controller. The architecture is based on colored Petri nets with ordered colored sets and structured input and output functions.

[1]  Kurt Jensen.  High-Level Petri Nets , 1982, European Workshop on Applications and Theory of Petri Nets.

[2]  James S. Albus,et al.  Theory and Practice of Hierarchical Control , 1981 .

[3]  C. McLean,et al.  A proposed hierarchical control model for automated manufacturing systems , 1986 .

[4]  Marc Courvoisier,et al.  Joining Petri nets and knowledge based systems for monitoring purposes , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[5]  B. Krogh,et al.  Models for simulation and discrete control of manufacturing systems , 1986, Proceedings. 1986 IEEE International Conference on Robotics and Automation.

[6]  C. V. Ramamoorthy,et al.  Performance Evaluation of Asynchronous Concurrent Systems Using Petri Nets , 1980, IEEE Transactions on Software Engineering.

[7]  Norihisa Komoda,et al.  A Petri Net-Based Controller for Flexible and Maintainable Sequence Control and its Applications in Factory Automation , 1986, IEEE Transactions on Industrial Electronics.

[8]  J. Quadrat,et al.  A linear-system-theoretic view of discrete-event processes , 1983, The 22nd IEEE Conference on Decision and Control.

[9]  Kathryn E. Stecke,et al.  Dynamic analysis of repetitive decision-free discrete-event processes: applications to production systems , 1991 .

[10]  Manuel Silva,et al.  A Language for the Description of Concurrent Systems Modeled by Colored Petri Nets: Application to the Control of Flexible Manufacturing Systems , 1985 .

[11]  Kathryn E. Stecke,et al.  Dynamic analysis of repetitive decision-free discreteevent processes: The algebra of timed marked graphs and algorithmic issues , 1990 .

[12]  Michael K. Molloy.  Performance Analysis Using Stochastic Petri Nets , 1982, IEEE Transactions on Computers.

[13]  Jr. Mikell P. Groover.  Automation, production systems, and computer-aided manufacturing , 1980 .

[14]  Gérard Roucairol,et al.  Linear Algebra in Net Theory , 1979, Advanced Course: Net Theory and Applications.

[15]  Y. Narahari,et al.  On the invariants of coloured Petri nets , 1985, Applications and Theory in Petri Nets.

[16]  Joseph Sifakis,et al.  Structural Properties of Petri Nets , 1978, MFCS.

[17]  James Lyle Peterson,et al.  Petri net theory and the modeling of systems , 1981 .

[18]  Frank DiCesare,et al.  Implementation of a Petri net controller for a machining workstation , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[19]  Maurizio Morisio,et al.  Petri-net based simulation of manufacturing cells , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.

[20]  Didier Dubois,et al.  Using Petri nets to represent production processes , 1983, The 22nd IEEE Conference on Decision and Control.

[21]  Robert M. Shapiro,et al.  Modeling an NORAD Command Post Using SADT and Colored Petri Nets , 1993, Functional Programming, Concurrency, Simulation and Automated Reasoning.

[22]  Yadati Narahari,et al.  A Petri net approach to the modelling and analysis of flexible manufacturing systems , 1985 .

[23]  Y. Narahari,et al.  Coloured Petri net models for automated manufacturing systems , 1987, Proceedings. 1987 IEEE International Conference on Robotics and Automation.