column value
英文名稱 timed Petri net
中文名稱 時間佩特裏網