Cięcie sieci Petriego
Sieć Petriego (PN) jest techniką syntaktyczną używaną do redukcji modelu PN na podstawie zadanego kryterium. Nieformalnie kryterium podziału może być właściwość, dla której analizowany jest model PN, zbiór miejsc, przejść lub jedno i drugie. Wycięta część stanowi tylko tę część modelu PN, która może mieć wpływ na kryteria.
Tło
Termin slicing został ukuty przez M. Weisera w kontekście debugowania programu . Według Wiesera wycinek programu to zredukowany, wykonywalny program , który można uzyskać z programu P w oparciu o interesujące nas zmienne i numer wiersza , usuwając takie instrukcje, że cięcie programu powiela część zachowania programu. Termin ten został później dostosowany do kontekstu sieci Petriego i innych klas sieci Petriego, takich jak algebraiczne sieci Petriego .
