Prototyping of Concurrent Control Systems with Application of Petri Nets and Comparability Graphs

Remigiusz Wisniewski, Andrei Karatkevich, Marian Adamski, Aniko Costa, Luis Gomes

Research output: Contribution to journalArticlepeer-review

18 Citations (Scopus)
14 Downloads (Pure)

Abstract

This paper shows a novel prototyping technique for concurrent control systems described by interpreted Petri nets. The technique is based on the decomposition of an interpreted Petri net into concurrent sequential automata. In general, minimum decomposition requires runtime that is exponential in the number of Petri net places. We show that in many cases, including the real-life ones, the minimum decomposition problem can be solved in polynomial time. The proposed method allows implementing a concurrent control system using minimal number of sequential components, which requires polynomial time and can be applied to most of the considered cases. The presented concept is illustrated by a real-life industrial example of a beverage production and distribution machine implemented in a field programmable gate array.

Original languageEnglish
Article number7920333
Pages (from-to)575-586
Number of pages12
JournalIEEE Transactions on Control Systems Technology
Volume26
Issue number2
DOIs
Publication statusPublished - 1 Mar 2018

Keywords

  • Comparability graphs
  • Concurrent control systems
  • Field-programmable gate array (FPGA)
  • Petri nets

Fingerprint

Dive into the research topics of 'Prototyping of Concurrent Control Systems with Application of Petri Nets and Comparability Graphs'. Together they form a unique fingerprint.

Cite this