Implementation of distributed semaphores in IEC 61499 with consensus protocols

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


Research units

  • Penza State University
  • Luleå University of Technology


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
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

    Research areas

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

ID: 29793471