Table Of ContentStudies in Systems, Decision and Control 45
Andrei Karatkevich
Arkadiusz Bukowiec
Michał Doligalski
Jacek Tkacz Editors
Design of
Reconfigurable
Logic
Controllers
Studies in Systems, Decision and Control
Volume 45
Series editor
Janusz Kacprzyk, Polish Academy of Sciences, Warsaw, Poland
e-mail: [email protected]
About this Series
The series “Studies in Systems, Decision and Control” (SSDC) covers both new
developments and advances, as well as the state of the art, in the various areas of
broadly perceived systems, decision making and control- quickly, up to date and
withahighquality.Theintentistocoverthetheory,applications,andperspectives
on the state of the art and future developments relevant to systems, decision
making,control,complexprocessesandrelatedareas, asembeddedinthefieldsof
engineering,computerscience,physics,economics,socialandlifesciences,aswell
astheparadigmsandmethodologiesbehindthem.Theseriescontainsmonographs,
textbooks, lecture notes and edited volumes in systems, decision making and
control spanning the areas of Cyber-Physical Systems, Autonomous Systems,
Sensor Networks, Control Systems, Energy Systems, Automotive Systems, Bio-
logical Systems, Vehicular Networking and Connected Vehicles, Aerospace Sys-
tems, Automation, Manufacturing, Smart Grids, Nonlinear Systems, Power
Systems, Robotics, Social Systems, Economic Systems and other. Of particular
valuetoboththecontributorsandthereadershiparetheshortpublicationtimeframe
and the world-wide distribution and exposure which enable both a wide and rapid
dissemination of research output.
More information about this series at http://www.springer.com/series/13304
Andrei Karatkevich Arkadiusz Bukowiec
(cid:129)
ł
Micha Doligalski Jacek Tkacz
(cid:129)
Editors
fi
Design of Recon gurable
Logic Controllers
123
Editors
Andrei Karatkevich Michał Doligalski
Faculty of Computer Science, Electrical Faculty of Computer Science, Electrical
EngineeringandAutomatics EngineeringandAutomatics
University of ZielonaGóra University of ZielonaGóra
ZielonaGóra ZielonaGóra
Poland Poland
Arkadiusz Bukowiec JacekTkacz
Faculty of Computer Science, Electrical Faculty of Computer Science, Electrical
EngineeringandAutomatics EngineeringandAutomatics
University of ZielonaGóra University of ZielonaGóra
ZielonaGóra ZielonaGóra
Poland Poland
ISSN 2198-4182 ISSN 2198-4190 (electronic)
Studies in Systems,DecisionandControl
ISBN978-3-319-26723-4 ISBN978-3-319-26725-8 (eBook)
DOI 10.1007/978-3-319-26725-8
LibraryofCongressControlNumber:2015956377
©SpringerInternationalPublishingSwitzerland2016
Thisworkissubjecttocopyright.AllrightsarereservedbythePublisher,whetherthewholeorpart
of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations,
recitation, broadcasting, reproduction on microfilms or in any other physical way, and transmission
or information storage and retrieval, electronic adaptation, computer software, or by similar or
dissimilarmethodologynowknownorhereafterdeveloped.
The use of general descriptive names, registered names, trademarks, service marks, etc. in this
publication does not imply, even in the absence of a specific statement, that such names are exempt
fromtherelevantprotectivelawsandregulationsandthereforefreeforgeneraluse.
The publisher, the authors and the editors are safe to assume that the advice and information in this
book are believed to be true and accurate at the date of publication. Neither the publisher nor the
authors or the editors give a warranty, express or implied, with respect to the material contained
hereinorforanyerrorsoromissionsthatmayhavebeenmade.
Printedonacid-freepaper
ThisSpringerimprintispublishedbySpringerNature
TheregisteredcompanyisSpringerInternationalPublishingAGSwitzerland
Preface
Digital design of control circuits is a very important part of computer science and
electronics, and its importance has increased in recent years. Nowadays, digital
systems are widely present in everyone’s life and they are a part of our existence.
The rapid growth of silicon technology is being observed, and it causes the aug-
mentationofthecontrolledsystemssuchasdatapathsindigitaldevices,peripheral
devicesofthecomputersortheindustrialelectromechanicalprocessesforwhichthe
programmablecontrollersareused.Itcausesthatneedformorecomplexandfaster
control units noticeable, and new design methodologies of such complex systems
are required.
In this book, we present the research activities and achievements in the area of
design of reconfigurable control circuits of several research teams from different
countries (Poland, Belarus and Portugal) as well as the historical perspective of
development of some aspects of logical control technology. The chapters of the
bookcoverdifferentfieldsofthetopic,fromcontrolsystemspecificationanddesign
to synthesis and verification. The important question of cooperation between
control unit and data path is also discussed. The book focuses first of all on the
parallelism in logical control, taking into account complexity of the systems under
control, an unavoidable element of modern logical control algorithms.
Reconfigurability is another important aspect of the approaches presented in the
book; nowadays the control systems often have to be flexible, hence possibility
of their partial reconfiguration during runtime is very essential. As the models of
parallelcontrolalgorithms,theinterpretedPetrinetsandconcurrentgeneralizations
of finite-state machines are used. Various kinds of UML diagrams are used at
different steps of design processes for specification and modelling. The described
methodologies mostly suppose the FPGA realization of the reconfigurable control
devices.
v
vi Preface
The editors of this book hope that it will be a valuable reading for both
researchesandstudentsofcomputerscienceandelectronics,andengineersworking
in the area of design of digital control and embedded systems. The reader is
presumed to have a basic knowledge of digital design, automata theory and Petri
nets.
Zielona Góra, Poland Andrei Karatkevich
August 2015 Arkadiusz Bukowiec
Contents
Petri Nets in Design of Control Algorithms . . . . . . . . . . . . . . . . . . . . . 1
Andrei Karatkevich
Synthesis and Implementation of Parallel Logic Controllers
in All Programmable Systems-on-Chip . . . . . . . . . . . . . . . . . . . . . . . . 15
Valery Sklyarov, Iouliia Skliarova and João Silva
Circuit Implementation of Parallel Logical Control Algorithms
Represented in PRALU Description. . . . . . . . . . . . . . . . . . . . . . . . . . . 31
P.N. Bibilo, Yu.V. Pottosin, V.I. Romanov and A.D. Zakrevskij
Effective Partial Reconfiguration of Logic Controllers Implemented
in FPGA Devices . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
Remigiusz Wiśniewski, Monika Wiśniewska and Marian Adamski
An Application of Logic Controller for the Aerosol Temperature
Stabilization . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
Michał Doligalski, Marek Ochowiak and Anna Gościniak
Symbolic Coloring of Petri Nets. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
Jacek Tkacz
Modular Synthesis of Petri Nets. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
Jacek Tkacz and Marian Adamski
Architectural Synthesis of Petri Nets . . . . . . . . . . . . . . . . . . . . . . . . . . 93
Arkadiusz Bukowiec
Decomposition-Based Methods for FSM Implementation . . . . . . . . . . . 103
Mariusz Rawski, Piotr Szotkowski and Paweł Tomaszewicz
Using UML Behavior Diagrams for Graphical Specification
of Programs for Logic Controllers . . . . . . . . . . . . . . . . . . . . . . . . . . . 131
Grzegorz Bazydło and Marian Adamski
vii
viii Contents
Various Interpretations of Actions of UML Activity
Diagrams in Logic Controller Design . . . . . . . . . . . . . . . . . . . . . . . . . 143
Michał Grobelny, Iwona Grobelna and Marian Adamski
Model Checking of UML Activity Diagrams Using a Rule-Based
Logical Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 153
Iwona Grobelna, Michał Grobelny and Marian Adamski
UML Support for Statecharts-Based Digital Logic Controller
Design in FPGA Technology . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 165
Grzegorz Łabiak
Index . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 181
Petri Nets in Design of Control Algorithms
AndreiKaratkevich
Abstract The chapter presents an overview of applying the Petri nets as a model
andawayofspecificationoftheparallellogicalcontrolalgorithms.Thehistoryof
usingthePetrinetsforrepresentingthestructuresoftheparallelcontrolalgorithmsis
presented.TheextensionsofthePetrinetmodelappliedintheareaoflogicalcontrol
arediscussed.ThePetrinet-basedprogramminglanguagesusedforprogrammable
logiccontrollers,suchasSFC,GRAFCETorPRALU,areconsidered.
· · · ·
Keywords Petrinets Logiccontrollers Specification FPGA Parallelcontrol
algorithms
1 Introduction
Thereareknownvariouswaysofspecificationoflogicalcontrolalgorithmsingeneral
andprogramsforlogiccontrollersinparticular.Thealgorithmsofcontinuouscontrol
canberepresentedinformofthedifferentialequations[1];ifwelimitourselvesto
thelogicalcontrolalgorithms,wecanfindoutthatsuchalgorithmscanbedescribed
by means of the textual programming languages (usually the dedicated ones, like
Structured Text [2] or SystemC [3]) or graphical languages and diagrams (Harel
statecharts[4],LD,SFC,FBD[2],CFC[5],ASM[6],flowcharts[7],statediagrams
[8] and so on). The mathematical models belhind those languages are first of all
Booleanfunctions,FiniteStateMachines(withtheirgeneralizations,enhancedwith,
amongothers,concurrencyandhierarchy[9–11])andalsothePetrinets.Themost
known (but not the only one) Petri net-based language for specification of logical
controlalgorithmsisSequentialFunctionChart(SFC)[2, 12].
The Petri nets and Petri net-based languages are not very popular among the
engineers. However, they have some unique advantages. The Petri nets allow to
B
A.Karatkevich( )
InstituteofElectricalEngineering,
UniversityofZielonaGóra,ul.Licealna9,65-417ZielonaGóra,Poland
e-mail:[email protected]
©SpringerInternationalPublishingSwitzerland2016 1
A.Karatkevichetal.(eds.),DesignofReconfigurableLogicControllers,
StudiesinSystems,DecisionandControl45,
DOI10.1007/978-3-319-26725-8_1
