Implementation of distributed semaphores in IEC 61499 with consensus protocols

Victor Dubinin, Artem Voinov, Ilya Senokosov, Valeriy Vyatkin

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

1 Citation (Scopus)


An approach is proposed for the implementation of distributed semaphores in the IEC 61499 architecture on the basis of protocols for solving consensus in a network of unreliable processes that allows developing function blockbased control applications with complex types of interactions using the resources sharing. The models of distributed semaphores (in the form of coloured Petri nets) based on Paxos and Raft protocols for solving consensus are developed, simulation experiments are performed in the CPN Tools, comparative analysis and recommendations are given.

Original languageEnglish
Title of host publicationProceedings of the IEEE 16th International Conference on Industrial Informatics, INDIN 2018
Number of pages6
ISBN (Electronic)9781538648292
Publication statusPublished - 24 Sep 2018
MoE publication typeA4 Article in a conference publication
EventIEEE International Conference on Industrial Informatics - University of Porto's Engineering Faculty (FEUP), Porto, Portugal
Duration: 18 Jul 201820 Jul 2018
Conference number: 16

Publication series

NameIEEE International Conference on Industrial Informatics
ISSN (Print)1935-4576
ISSN (Electronic)2378-363X


ConferenceIEEE International Conference on Industrial Informatics
Abbreviated titleINDIN
Internet address


  • Coloured Petri nets
  • Consensus
  • Distributed control
  • Distributed semaphore
  • Function block
  • IEC 61499
  • Paxos
  • Raft
  • Resource sharing
  • Synchronization


Dive into the research topics of 'Implementation of distributed semaphores in IEC 61499 with consensus protocols'. Together they form a unique fingerprint.

Cite this