Design of Reconfigurable Logic Controllers

Petri Nets in Design of Control Algorithms.- Synthesis and Implementation of Parallel Logic Conrollers in All Programmable Systems-on-Chip.- Circuit Implementation of Parallel Logical Control Algorithms Represented in PRALU Description.- Effective Partial Reconfiguration of Logic Controllers Implemented in FPGA Devices.- An Application of Logic Controller for the Aerosol Temperature Stabilization.- Symbolic Coloring of Petri Nets.- Modular Synthesis of Petri Nets.- Architectural Synthesis of Petri Nets.- Decomposition-Based Methods for FSM Implementation.- Using UML Behavior Diagrams for Graphical Specification of Programs for Logic Controllers.- Various Interpretations of Actions of UML Activity Diagrams in Logic Controller Design.- Model Checking of UML Activity Diagrams Using a Rule-Based Logical Model.- UML Support for Statecharts-Based Digital Logic Controller Design in FPGA Technology.