|
|
|||
|
||||
OverviewFull Product DetailsAuthor: Andrei Karatkevich , Arkadiusz Bukowiec , Michał Doligalski , Jacek TkaczPublisher: Springer International Publishing AG Imprint: Springer International Publishing AG Edition: 1st ed. 2016 Volume: 45 Dimensions: Width: 15.50cm , Height: 1.30cm , Length: 23.50cm Weight: 4.203kg ISBN: 9783319267234ISBN 10: 331926723 Pages: 185 Publication Date: 06 January 2016 Audience: Professional and scholarly , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: Manufactured on demand We will order this item for you from a manufactured on demand supplier. Table of ContentsPetri 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.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |