Återställnings- och inhibitornät är Petrinät som förlängs med återställningsbågar och inhibitorbågar. Dessa tillägg kan användas för att modellera avbokning och blockering. En återställningsbåge möjliggör en övergång för att ta bort alla polletter från en viss plats när övergången brinner. En inhibitor båge kan hindra en övergång från att aktiveras om platsen innehåller en eller flera polletter. Medan återställnings-/hämningsnät ökar petrinätens uttryckskraft, leder de också till ökad komplexitet i analysmetoderna. Ett sätt att påskynda Petri nettoanalys är att tillämpa minskningsregler. Tyvärr finns det många av de regler som fastställts för klassiska Petrinät inte i närvaro av återställnings- och/eller inhibitorbågar. Dessutom kan nya regler läggas till. Detta är det första dokumentet där man systematiskt lägger fram en omfattande uppsättning minskningsregler för återställnings-/inhibitornät. Dessa regler är liv och gränsbevarande och kan dramatiskt reducera modeller och deras tillståndsrum. Det kan noteras att de flesta modellering språk som används i praktiken har funktioner som rör avbokning och blockering. Därför är detta arbete mycket relevant för alla typer av tillämpningsområden där analys för närvarande är svåråtkomlig.
Slutligen fastställde författarna i REF en uppsättning minskningsregler som bevarar livligheten och begränsningen av återställnings-/inhibitornät.
Reduction Rules for Reset/Inhibitor Nets
{'venue': None, 'journal': None, 'mag_field_of_study': ['Computer Science']}