가격이 부여된 연속 시간 페트리망의 최적 커버 비용 계산

초록

연속 시간 페트리망에 토큰 저장 비용과 전이 비용을 부여한 모델을 정의하고, 주어진 제어 상태에 도달하는 계산들의 비용 하한값을 결정 가능한 알고리즘을 제시한다. 최적 실행이 존재하지 않을 수도 있지만, 그 하한값은 계산 가능함을 증명한다.

상세 분석

본 논문은 토큰마다 실수형 시계값을 갖는 연속 시간 페트리망(PTPN)을 정의하고, 각 장소에 토큰당 시간 단위 비용을, 각 전이에 실행 비용을 부여한다. 이러한 비용 모델 하에서 제어 상태 q₁에서 q₂로 도달하는 모든 실행의 비용 집합을 고려하고, 최소값이 존재하지 않을 수도 있음을 보이면서도 그 비용의 하한값(Infimum)은 효과적으로 계산할 수 있음을 증명한다. 핵심 아이디어는 먼저 실행을 “정밀” 형태로 변형하여 토큰들의 연령을 정수에 가깝게 만들고, 이를 기반으로 연속 시간 모델을 무시 가능한 유한 차원 다각형(폴리토프)으로 추상화한다. 이 추상화된 모델을 AC‑PTPN이라 부르며, 여기서는 토큰들의 연령 구간 정보를 정수 벡터 형태로 표현한다. AC‑PTPN은 전이들이 비단조(monotone)하지 않기 때문에 기존의 잘 정렬된 전이 시스템 기법을 바로 적용할 수 없으며, 이를 해결하기 위해 “추상 단계 구성(abstract phase construction)”이라는 새로운 프레임워크를 도입한다. 이 프레임워크는 Valk‑Jantzen 기법을 일반화하여 임의의 잘‑부분순서(wqo) 도메인에서 커버 가능성을 판단하는 절차를 제공한다. 구체적으로, AC‑PTPN의 커버 문제를 비용 제한이 있는 전이 시스템으로 변환하고, 비용 제한을 만족하는 경로 존재 여부를 결정한다. 중요한 기술적 단계는 AC‑PTPN을 다시 Petri‑net with one inhibitor arc(1‑INH) 형태로 변환하고, 1‑INH의 도달 가능성 결정 가능성을 이용해 최종적으로 원래 PTPN의 비용 하한값을 계산한다. 논문은 또한 이 방법이 이산 시간 PTPN에서는 이미 알려진 결과와 일치함을 확인하고, 연속 시간에서 발생하는 무한히 작은 지연(예: 2⁻ⁿ) 문제를 효과적으로 다루는 점을 강조한다. 결과적으로, 연속 시간 페트리망의 커버 비용 최적화 문제는 일반적으로 최소값이 없더라도 그 하한값을 알고리즘적으로 구할 수 있음을 보여준다.