For a (marked) Petri net N = ( S , T , W , M 0 ) {\displaystyle N=(S,T,W,M_{0})} , we are interested in the firings that can be performed starting with the initial marking M 0 {\displaystyle M_{0}} .
עבור רשת פטרי (מסומנת) N = ( S , T , W , M 0 ) {\displaystyle N=(S,T,W,M_{0})\!} , אנו מתעניינים בהפעלות שעשויות להתרחש החל מהסימון ההתחלתי M 0 {\displaystyle M_{0}} .