Core Concepts
감독과 공장 간의 상호작용에 강제 이벤트 메커니즘을 도입하여, 감독이 특정 이벤트를 강제할 수 있도록 하는 새로운 감독 제어 이론을 제안한다.
Abstract
이 논문은 기존의 감독 제어 이론에 강제 이벤트 메커니즘을 도입하여 확장한다. 기존의 감독 제어 이론에서는 감독이 공장에서 발생하는 이벤트를 허용/금지하는 것만이 가능했지만, 이 논문에서는 감독이 특정 이벤트를 강제할 수 있도록 하였다.
이를 위해 "강제-제어 가능성" 이라는 새로운 개념을 도입하였다. 이 개념은 감독이 공장의 제어 불가능한 이벤트를 강제 이벤트를 통해 선점할 수 있는 상황을 포착한다.
논문에서는 최대 허용 가능한 강제-제어 가능하고 비차단 감독이 존재함을 보이고, 이를 계산하는 알고리즘을 제시한다. 또한 두 개의 사례 연구를 통해 이 접근법을 설명한다.
Stats
공장 모델은 유한 오토마타로 표현된다.
이벤트 집합 Σ는 제어 가능 이벤트 Σc와 제어 불가능 이벤트 Σu로 구분된다.
강제 이벤트 집합 Σf는 Σ의 부분집합이다.
Quotes
"감독과 공장 간의 주된 상호작용 메커니즘은 공장이 제공하는 이벤트의 허용/금지 메커니즘이다."
"본 논문에서는 감독이 특정 이벤트(강제 이벤트)를 강제할 수 있도록 하여 이 상호작용을 확장한다."