Petrinet 개요

#1.simple process model

• three elements: places, transitions and arcs
• graphical and mathematical description

#2.Rules

• 두개의 플레이스와 트랜지션을 연결할수 없다.오로지 한개만 가능하다

• consider at most one arc between two nodes.

#3.Enabled

#4.Firing

-wait에서 토큰 이동 : fire(enabled된 상태에서 하나만 fire해야한다.)

• input place에서 토큰 소비하고 output place으로 토큰 생산한다

#5.Remarks