Title | ||
---|---|---|
Prototyping of Concurrent Control Systems With Application of Petri Nets and Comparability Graphs. |
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. |
Year | DOI | Venue |
---|---|---|
2018 | 10.1109/TCST.2017.2692204 | IEEE Trans. Contr. Sys. Techn. |
Keywords | Field | DocType |
Petri nets,Concurrent computing,Control systems,Field programmable gate arrays,Logic gates,Color,Hardware design languages | Petri net,Concurrency control,Automaton,Parallel computing,Field-programmable gate array,Control engineering,Process architecture,Control system,Concurrent computing,Time complexity,Mathematics,Reliability engineering | Journal |
Volume | Issue | ISSN |
26 | 2 | 1063-6536 |
Citations | PageRank | References |
1 | 0.37 | 20 |
Authors | ||
5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Remigiusz Wiśniewski | 1 | 34 | 7.95 |
Andrei Karatkevich | 2 | 14 | 4.75 |
Marian Adamski | 3 | 53 | 10.77 |
Aniko Costa | 4 | 52 | 13.92 |
Luís Gomes | 5 | 87 | 22.71 |