전자 상거래 시스템에 대한 논리적 페트리 네트의 분석 및 응용

논리적 페트리 네트(LPNs)는 협력 시스템에서 일괄 처리 기능과 값 불확정성을 잘 설명하고 분석할 수 있습니다. 그 구조는 동등한 억제 페트리 네트보다 간단합니다. 이들을 분석하기 위해 벡터 매칭 방법이 제안되었습니다. 본 논문에서는 LPNs의 하위 클래스를 제안하고 그 속성을 분석합니다. 이 모델은 전자 상거래 시스템을 잘 모델링하고 시뮬레이션하는 데 사용될 수 있습니다. 그 특수한 구조와 논리적 전환 간의 관계가 논의됩니다. 이를 기반으로 도달성 트리가 구성되고, 상태 방정식이 그 속성인 도달성, 생명력, 보존성 및 가역성을 분석하는데 사용됩니다. 제안된 분석 방법은 기존 LPNs 방법과 비교하여 계산 노력을 크게 줄입니다.