Discrete Event Control Design for Manufacturing Systems Via Ladder Logic Diagrams and Petri Nets: A Comparative Study

1995 ◽  
pp. 265-304 ◽  
Author(s):  
Kurapati Venkatesh ◽  
MengChu Zhou ◽  
Reggie J. Caudill
Keyword(s):  
Comparative Study ◽  
Petri Nets ◽  
Manufacturing Systems ◽  
Discrete Event ◽  
Control Design ◽  
Design For Manufacturing ◽  
Discrete Event Control ◽  
Ladder Logic

Algorithms of reduced complexity to design control sequences for untimed Petri nets in varying and uncertain environments

2018 ◽  
Vol 232 (6) ◽  
pp. 638-651
Author(s):  
Dimitri Lefebvre
Keyword(s):  
Petri Nets ◽  
Flexible Manufacturing ◽  
Manufacturing Systems ◽  
Discrete Event ◽  
Sufficient Conditions ◽  
Reference Value ◽  
Computational Effort ◽  
Scheduling Problems ◽  
Reachability Graph ◽  
Control Sequences

Petri nets have been widely used for the modelling, analysis, control and optimization of discrete event systems with shared resources in the domains of engineering. This article concerns the design of control sequences for such systems modelled with untimed Petri nets. The aim of the controller is to incrementally compute sequences of transition firings with minimal size. Such sequences aim to move the marking from an initial value to a reference value. The resulting trajectory must avoid some forbidden markings and limit as possible the exploration of non-promising branches. For this purpose, the approach explores a small part of the reachability graph in the neighbourhood of the current marking. Then from the explored markings, it estimates a distance to the reference. The main contributions are (a) to reduce the explored part of the reachability graph according to a double limitation in breadth and in depth in order to provide solutions with a low computational effort; (b) to provide conditions to ensure the converge and optimality of the proposed algorithms and derive necessary and sufficient conditions for reachability; and (c) to include the firing sequence design in a global control schema suitable for reactive scheduling problems in uncertain and perturbed environments. The main application concerns deadlock-free scheduling problems in the domain of flexible manufacturing systems, but the approach is also applicable for systems in computer science and transportation.

Petri Net Model Based Design and Control of Robotic Manufacturing Cells

2012 ◽  
pp. 393-408
Author(s):  
Gen’ichi Yasuda
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Manufacturing Systems ◽  
Discrete Event ◽  
Manufacturing Cells ◽  
Modeling And Control ◽  
Complex Manufacturing Systems ◽  
Task Specification ◽  
And Control ◽  
The Coordinator

The methods of modeling and control of discrete event robotic manufacturing cells using Petri nets are considered, and a methodology of decomposition and coordination is presented for hierarchical and distributed control. Based on task specification, a conceptual Petri net model is transformed into the detailed Petri net model, and then decomposed into constituent local Petri net based controller tasks. The local controllers are coordinated by the coordinator through communication between the coordinator and the controllers. Simulation and implementation of the control system for a robotic workcell are described. By the proposed method, modeling, simulation, and control of large and complex manufacturing systems can be performed consistently using Petri nets.

Petri Net Model Based Design and Control of Robotic Manufacturing Cells

2013 ◽  
pp. 385-400 ◽  
Author(s):  
Gen’ichi Yasuda
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Manufacturing Systems ◽  
Discrete Event ◽  
Manufacturing Cells ◽  
Modeling And Control ◽  
Complex Manufacturing Systems ◽  
Task Specification ◽  
And Control ◽  
The Coordinator

The methods of modeling and control of discrete event robotic manufacturing cells using Petri nets are considered, and a methodology of decomposition and coordination is presented for hierarchical and distributed control. Based on task specification, a conceptual Petri net model is transformed into the detailed Petri net model, and then decomposed into constituent local Petri net based controller tasks. The local controllers are coordinated by the coordinator through communication between the coordinator and the controllers. Simulation and implementation of the control system for a robotic workcell are described. By the proposed method, modeling, simulation, and control of large and complex manufacturing systems can be performed consistently using Petri nets.

Discrete event diagnosis using labeled Petri nets. An application to manufacturing systems

2011 ◽  
Vol 19 (9) ◽  
pp. 989-1001 ◽  
Author(s):  
M.P. Cabasino ◽  
A. Giua ◽  
M. Pocci ◽  
C. Seatzu
Keyword(s):  
Petri Nets ◽  
Manufacturing Systems ◽  
Discrete Event

scholarly journals Supervisors of Petri Nets

2019 ◽  
Vol 27 (45) ◽  
pp. 33-41
Author(s):  
Jana Flochová ◽  
Tomáš Lojan
Keyword(s):  
Petri Nets ◽  
Communication Networks ◽  
Supervisory Control ◽  
Manufacturing Systems ◽  
Discrete Event Systems ◽  
Discrete Event ◽  
Modeling And Analysis ◽  
Industrial Systems ◽  
Software Application ◽  
Event Systems

Abstract The design and operation of modern industrial systems require modeling and analysis in order to select the optimal design alternative and operational policy. Discrete event system models are encountered in a variety of fields, for example computers, communication networks, manufacturing systems, sensors or actuators, faults diagnosis, robotics and traffic. The paper describes principles and methods of supervisory control of discrete event systems initiated by Ramadge and Wonham. Three supervisory control methods based on the Petri net models are introduced, and the key features of the Petri tool software application for the supervisory control of discrete event systems modeled by Petri nets are highlighted.

Sign in / Sign up

Export Citation Format

Share Document