Den centrala frågan i detta dokument är att hitta en klass av Petri nät som ett nödvändigt och tillräckligt villkor för nåbarhet kan uppnås. För detta ändamål definieras flera nya klasser av Petrinät av strukturella förhållanden relaterade till riktade kretsar. Ett nödvändigt och tillräckligt villkor för nåbarhet uppnås för fälla krets Petri nät (TC nät), där ett Petri nät kallas ett TC nät om uppsättningen av platser på en riktad krets bildar en fälla, och för dödläge krets Petri nät (DC nät), där ett Petri nät kallas ett DC nät om uppsättningen av platser på någon riktad krets bildar ett dödläge. Klassen TC-nät är en underklass av normala Petri-nät. För normala Petrinät erhålls ett tillräckligt villkor för att nå fram. Nåbarhet för alla konfliktfria Petri-nät kan avgöras genom att hitta en juridisk avfyrningssekvens för ett begränsat antal minimala lösningar av statsekvationen. Denna fastighet innehar också för större klasser av Petri nät. Dessa är en klass av icke-decreasing krets Petri nät (NDC nät), där ett Petri nät kallas ett NDC nät om antalet polletter på någon riktad krets inte minskas genom någon bränning av övergångar, och en klass av icke-ökande krets Petri nät (NIC nät), där ett Petri nät kallas ett NIC nät om antalet polletter på någon riktad krets inte ökas genom någon bränning av övergångar. Klassen NDC-nät och klass NIC-nät är underklasser av TC-nät respektive DC-nät.
I dessa underklasser finns ett nödvändigt och tillräckligt villkor för att nå fram (se REF ).
A Class of Petri Nets That a Necessary and Sufficient Condition for Reachability is Obtainable
{'venue': None, 'journal': 'Journal of the Society of Instrument and Control Engineers', 'mag_field_of_study': ['Computer Science']}