Initialization and finalization: • In the beginning a token is produced for the source place: p = 1. • At the end a token is consumed from the sink place (also if not there): c' = c + 1.
การเริ่มต้นและสรุป: • ในการเริ่มต้นเป็นสัญลักษณ์ที่ผลิตสำหรับแหล่งสถานที่: p = 1 • ในตอนท้ายสัญลักษณ์มีการบริโภคจากสถานที่อ่างล้างจาน (ถ้ายังไม่ได้มี): c '= C + 1