증강 표시 그래프
Augmented marked graph
증강 마크 그래프는 기본적으로 리소스 플레이스라고 불리는 특정 장소를 가진 페트리 네트입니다.
이러한 자원 플레이스와 관련된 호를 삭제하면 모든 사이클이 표시된 그래프가 됩니다.각 자원 플레이스에 대해 기본 경로로 연결된 발신 및 착신 전환 쌍이 있습니다.
어플
증강 표시 그래프는 제조 시스템과 같이 공유 자원이 있는 모델링 시스템에 종종 사용된다.증강 마크 그래프의 특수 특성을 바탕으로 활성, 경계성 및 가역성과 같은 모델링된 시스템의 특성을 효과적으로 분석할 수 있다.
레퍼런스
- King Sung Cheung, Augmented Marked Graphs, Springer, 2014.
