정보 흐름, 시스템의 정적 및 동적 속성을 보여주는 추상, 공식 모델. A 페 트리 네트 그래프 데 호와 동적 속성을 나타내는 표시 (라는 토큰)로 연결 된 노드 (장소 및 전환 이라고 함)의 두 가지 유형으로 일반적으로 표현 됩니다.