Modeling and implementation of concurrent logic controllers with use of Petri nets, LSMs, and sequent calculus

J. Tkacz; A. Bukowiec; M. Doligalski

doi:10.1117/12.2280967

7 August 2017 Modeling and implementation of concurrent logic controllers with use of Petri nets, LSMs, and sequent calculus

J. Tkacz, A. Bukowiec, M. Doligalski

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.

Citation Download Citation

J. Tkacz, A. Bukowiec, and 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); https://doi.org/10.1117/12.2280967

ACCESS THE FULL ARTICLE

INSTITUTIONAL
Select your institution to access the SPIE Digital Library.

SELECT YOUR INSTITUTION

PERSONAL
Sign in with your SPIE account to access your personal subscriptions or to use specific features such as save to my library, sign up for alerts, save searches, etc.

PERSONAL SIGN IN

No SPIE Account? Create one

PURCHASE THIS CONTENT

SUBSCRIBE TO DIGITAL LIBRARY

50 downloads per 1-year subscription

Members: $195

Non-members: $335 ADD TO CART

25 downloads per 1 - year subscription

Members: $145

Non-members: $250 ADD TO CART

PURCHASE SINGLE ARTICLE

Includes PDF, HTML & Video, when available