Share Email Print
cover

Proceedings Paper

Modeling and implementation of concurrent logic controllers with use of Petri nets, LSMs, and sequent calculus
Author(s): J. Tkacz; A. Bukowiec; M. Doligalski
Format Member Price Non-Member Price
PDF $14.40 $18.00

Paper Abstract

The paper presentes the method of modeling and implementation of concurrent controllers. Concurrent controllers are specified by Petri nets. Then Petri nets are decomposed using symbolic deduction method of analysis. Formal methods like sequent calculus system with considered elements of Thelen's algorithm have been used here. As a result, linked state machines (LSMs) are received. Each FSM is implemented using methods of structural decomposition during process of logic synthesis. The method of multiple encoding of microinstruction has been applied. It leads to decreased number of Boolean function realized by combinational part of FSM. The additional decoder could be implemented with the use of memory blocks.

Paper Details

Date Published: 7 August 2017
PDF: 12 pages
Proc. SPIE 10445, Photonics Applications in Astronomy, Communications, Industry, and High Energy Physics Experiments 2017, 1044528 (7 August 2017); doi: 10.1117/12.2280967
Show Author Affiliations
J. Tkacz, Univ. of Zielona Góra (Poland)
A. Bukowiec, Higher School of Computer Science and Management "Copernicus" in Wrocław (Poland)
M. Doligalski, Univ. of Zielona Góra (Poland)


Published in SPIE Proceedings Vol. 10445:
Photonics Applications in Astronomy, Communications, Industry, and High Energy Physics Experiments 2017
Ryszard S. Romaniuk; Maciej Linczuk, Editor(s)

© SPIE. Terms of Use
Back to Top