Reconfigurable Control Systems Modeling and Design Based on Petri Nets

Abstract

This paper describes a Discrete Petri net based method for specification, analysis and synthesis of the reconfigurable control system. The control system synthesis is based on Hardware Petri nets that are composed of two kinds of processing elements (Places and Transitions) and data flow path between them. The use of Hardware Petri nets allows the direct translation of the model into FPGA circuits, that substantially reduces the design time and cost. A design example of a control system synthesis for a complex technological process illustrates the proposed method.