7 August 2017 Modeling and implementation of concurrent logic controllers with use of Petri nets, LSMs, and sequent calculus
Author Affiliations +
Proceedings Volume 10445, Photonics Applications in Astronomy, Communications, Industry, and High Energy Physics Experiments 2017; 1044528 (2017) https://doi.org/10.1117/12.2280967
Event: Photonics Applications in Astronomy, Communications, Industry, and High-Energy Physics Experiments 2017, 2017, Wilga, Poland
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.
© (2017) COPYRIGHT Society of Photo-Optical Instrumentation Engineers (SPIE). Downloading of the abstract is permitted for personal use only.
J. Tkacz, A. Bukowiec, M. Doligalski, "Modeling and implementation of concurrent logic controllers with use of Petri nets, LSMs, and sequent calculus", Proc. SPIE 10445, Photonics Applications in Astronomy, Communications, Industry, and High Energy Physics Experiments 2017, 1044528 (7 August 2017); doi: 10.1117/12.2280967; https://doi.org/10.1117/12.2280967
PROCEEDINGS
12 PAGES


SHARE
Back to Top