Petri Nets 신택스 by Dr. RoboDude

출처

RTS6.7: PetriNets, Dr. RoboDude, https://www.youtube.com/watch?v=GCsVxWh995o

 

페트리 네트의 기본 신택스에 대해 설명한 영상을 텍스트로 정리한 것이다.

 

---

 

기본 페트리 네트 표기법

• 플레이스(Places): 시스템의 조건(conditions)을 나타낸다.
• 트랜지션(Transitions): 시스템의 조건을 변경시키는 액션을 나타낸다. 트랜지션 발사(실행)가 로컬 상태를 변경한다.
• 간선(Arcs): 항상 플레이스에서 트랜지션으로 또는 트랜지션에서 플레이스로 연결된다.
• 토큰(Tokens): 관심있는 기본 엔터티를 나타낸다. 토큰은 트랜지션에 의해 소비 또는 생산된다.
• 마킹(Marking): 서로 다른 플레이스에서 토큰 구성(configuration)을 나타낸다.

 

 

 

예를 들어 아래 좌측 또는 우측과 같은 모습으로 초기 상태의 페트리 네트를 표현할 수 있다.

 

트랜지션의 모든 입력 플레이스에 최소 하나 이상의 토큰이 존재하면 해당 트랜지션이 활성화(enabled)되어 발사(firing)를 할 수 있게 되며, 이 때 각 입력 플레이스의 토큰 1개가 소비되고 출력 플레이스에 토큰 1개가 생성된다. 즉, 위 예에서 트랜지션 t1의 입력 플레이스인 p1과 p2에 하나 이상의 토큰이 존재하므로 t1을 발사할 수 있고, 발사 후 t1의 출력 플레이스 p2에 토큰 하나가 생성된다.