페트리 네트의 구조
식별된 페트리 네트는 6 튜플입니다.
PN={P, t, f, k, w, M0},
여기서
P={P1, P2, ... pm,}, 라이브러리 세트,
T={T1, T2, ... TM,}, 변천세트,
F (p × t) ≈ (t × p), 호 세트,?
K: p → n+≈ {ω}, 라이브러리 용량 함수,
K(P)=ω 는 p 의 용량이 무한하다는 것을 의미하고, n+= {1,2, ...},
W: f → n+,호 상권,
M0: p → n, 초기 로고, 요구 사항: P∩T=, p ∩ t ≠ ф ф,
M: p → n, N={0, 1, 2, ...}, 네트워크 로고, Pi? P, M(Pi)≤K(Pi), i=1, ... m.
(p, t, f) PN 이라고 불리는 기본 네트워크는 n 으로 기록됩니다.
페트리 네트의 그래픽 표현은 두 가지 유형의 노드, 즉 라이브러리 (원으로 표시) 와 변형 (짧은 선으로 표시) 을 포함하는 직접 그래프입니다. 호는 흐름 관계를 나타내는 데 사용됩니다. 페트리 네트의 상태는 식별 M 으로 표시되며, 특정 시점의 ID 에 따라 해당 PN 의 상태가 결정됩니다. 그림 1 은 각 라이브러리에 token 또는 marking 이라는 정수 (양수 또는 0) 개의 태그 (Token 또는 Marking 이라고 함) 가 포함된 식별된 PN 을 나타냅니다. 초기 식별 M0 = (1,0,0,0,0) 은 점으로 표시되며, 이를 토큰이라고 합니다.
페트리 네트에서의 변화는 특정 규칙을 따릅니다.-변천 규칙: (1) 각 입력 라이브러리 (라이브러리-변천 유향 호) 에 하나 이상의 태그가 포함되어 있는 경우, 이 변천은 가능합니다. (2) 각 입력 라이브러리의 표식이 줄고 각 출력 라이브러리 (라이브러리의 기존 호로 변경) 에 태그가 추가되는 변경 가능한 발생.