Beställningsvara. Skickas inom 5-8 vardagar. Fri frakt över 249 kr.
Beskrivning
This book presents the original concepts andmodern techniques for specification, synthesis, optimisation and implementationof parallel logical control devices.
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.
