GRAFCET로 기술된 순서이론 시스템의 Race 없는 프로프램으로써의 합성

Race-Free Programmable Synthesis of A Sequential System Decribed by a GRAFCET

본 논문에서는 GRAFCET로 기술된 병렬 sequence를 갖는 순서 논리 시스템을 Programmed logic에 의해 실현하는 방법을 제안한다 이를 위해 먼저 병렬 sequence를 갖는 GRAFCET를 그 본래의 물리적 의미를 변형치 않고 다수의 state graph로 재구성하는 알고리즘을 제안했으며 이 제안된 알고리즘은 모든 형태의 GRAFCET에 적용 가능하며 특히 sub-system으로의 분해 및 그 역과정을 손쉽게 한다. 다음 이와같이 재구성된 state graph를 ROM을 사용한 microproerammed logic에 의해 구성하는 조직적인 방법을 제시했으며 이 제시된 구성 방법은 선택 sequence의 수를 임의로 확장할 수 있다.

This paper proposes a programmed logic realization of sequential logic system with parallel sequences which is described by a GRAFCET. For this purpose, an algorithm is proposed, which decomposes the GRAFCET with parallel sequence into a set of state graph without changing the physical meaning, which is applied to all kinds of GRAFCET, and which divides the system into sub-systems and vice versa. A systematic implementation by microprogrammed logic using ROM is proposed, which expands the number of selection sequence.