Abstrakt. I detta dokument presenteras monoton-beskärningsalgoritm (MP) för beräkning av minimal täckning av Petri-nät. Den ursprungliga Karp- och Miller-algoritmen (K&M) utvecklar tillgänglighetskurvan för ett Petri-nät och använder acceleration på filialer för att säkerställa terminering. MP-algoritmen förbättrar K&M-algoritmen genom att lägga till beskärning mellan grenar av K&M-trädet. Denna idé introducerades först i Minimal Coverability Tree algoritm (MCT), men det visade sig nyligen vara ofullständig. MP-algoritmen kan ses som MCT-algoritmen med en något mer aggressiv beskärningsstrategi som garanterar fullständighet. Experimentella resultat visar att denna algoritm är en stark förbättring jämfört med K&M-algoritmen eftersom den dramatiskt minskar prospekteringsträdet.
I REF föreslås MP-algoritmen.
Minimal coverability set for Petri nets: Karp and Miller algorithm with pruning
{'venue': 'Petri Nets', 'journal': None, 'mag_field_of_study': ['Computer Science']}