Name
Abstract | ||
|---|---|---|
Extended labeled Petri nets (ELPNs), i.e., labeled Petri nets with inhibitor arcs, are usually used to model the desired closed-loop behavior of a controlled discrete-event system, and, as such, their states are formed with both the controller and the plant states. However, the control logic is based on the controller states only and the interaction between controller and plant is carried out through sensor readings from the plant and control actions (forced events) from the controller. This makes ELPN not suitable for modeling the controller. Control interpreted Petri nets (CIPNs), on the other hand, include control actions in the places and sensor readings in the transitions as part of their formal structure, and so provide a better formalism for controller modeling. In this paper, we propose a two-step approach to discrete-event controller implementation, as follows: (i) we first propose a set of transformation rules to convert the initial ELPN to an equivalent CIPN, therefore extracting the control logic from the desired closed-loop behavior and (ii) we present a straightforward systematic way to translate the CIPN into a ladder diagram. We apply the results presented here to the implementation of the automation system of a plastic molding machine. |
Year | DOI | Venue |
|---|---|---|
2014 | 10.1109/TASE.2013.2281733 | Automation Science and Engineering, IEEE Transactions |
Keywords | Field | DocType |
Petri nets,closed loop systems,control system synthesis,discrete event systems,moulding,plastics,CIPN,ELPN,closed-loop behavior,control interpreted Petri nets,control logic,controller states,discrete-event controller design,discrete-event system,extended labeled Petri nets,inhibitor arcs,ladder diagram,plastic molding machine automation system,transformation rules,two-step approach,Discrete-event systems (DESs),Petri nets,ladder diagram,manufacturing systems,programmable logic controller (PLC) | Control theory,Petri net,Process automation system,Computer science,Ladder logic,Control theory,Bridging (networking),Control engineering,Process architecture,Stochastic Petri net,Control logic | Journal |
Volume | Issue | ISSN |
11 | 1 | 1545-5955 |
Citations | PageRank | References |
7 | 0.55 | 18 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Marcos V. Moreira | 1 | 125 | 13.03 |
| JoãO C. Basilio | 2 | 151 | 15.63 |