비안전 페트리망을 위한 피드백 제어 논리 합성

** 본 논문은 이산 사건 시스템을 모델링하는 비안전 페트리망(Petri Net)에서 금지 상태 문제를 다룬다. 금지 상태를 방지하기 위해 전이와 연계된 조건식(프레디케이트)을 사용할 수 있다. 그러나 실제 시스템에서는 금지 상태가 다수 존재하므로 전이마다 복잡하고 다량의 조건식이 필요하게 된다. 본 연구에서는 비안전 페트리망에서 프레디케이트를 효율적으로 계산하는 새로운 방법을 제시한다. 이 방법을 이용하면 존재한다면 최대 허용성을 갖는 제…

저자: Abbas Dideban, Hassane Alla (GIPSA-lab)