Skiva Petri-nät
Petri net (PN) slicing är en syntaktisk teknik som används för att reducera en PN-modell baserat på ett givet kriterium. Informellt kan ett delningskriterium vara en egenskap för vilken en PN-modell analyseras eller är en uppsättning platser, övergångar eller båda. En skivad del utgör endast den del av en PN-modell som kan påverka kriterierna.
Bakgrund
Termen slicing myntades av M. Weiser i samband med programfelsökning . Enligt Wieser är en programslice ett reducerat, körbart program som kan erhållas från ett program P baserat på variablerna av intresse och radnummer genom att ta bort satser så att programslicing replikerar en del av programmets beteende. Termen anpassades senare till sammanhanget för petrinät och för andra klasser av petrinät, såsom algebraiska petrinät .
