什麽是開火？發射是壹個單壹的，不間斷的步驟。
什麽是token？只是Petri網中數量有限的符號。姑且稱之為token吧。
什麽是過渡？就是節點的過渡過程。
前置位置是指在轉換過程之前的位置，稱為優先位置。
後位是指過渡過程後的位置，稱為後位。
因此，翻譯如下:
轉換過程ti的觸發將導致每個先前的位置(位置pj，其中？(pj，t i) ∈ F))去掉，每個後位(位置pj，where？(t i，p j) ∈ F)的令牌被添加(標記)。
去掉重合就更平滑了:
轉換過程的觸發將導致在每個在先位置處標記的移除和在每個在後位置處標記的添加(標記)。