Automazione industriale

PÌÙÈ IITOKEN PLAYER calcolo calcoloscelgatransizioni tmarcatura nuovaqualeiniziale abilitate marcaturascattare41 MINo No IfMozzi tttf topscelgo NoMo 14DI STATOEQUAZIONE 4esima dicolonna festrarreper i LI4 M Moto.sisiMI No 51c µ No 53511MiM2 C 53diDX vettoremettere una positivo qualunquepossoN Mo 45t di statoequazione MoM dachemarcatura partendoraggiunge transizioni in'slo scatto di molteapplicando il voltedicantos quanterappresenta transizionilescartatesono disi sconto dellevettore occorrenzesull'ordinecontiene informazioninon ildi solotsconto delle maALGEBRICAANALISIP INVARIANTIvettori che servano unidentificare specialecomportamentoper combinazionelacuiaiinsieme posti genericaperrimanemarcature costantedelle transizionesia la faccio scattarechequalunque RPdalla dallastatuale marcaturanontopologiaproprietà dipendeesempiomarcaturaMx xgenerica posto MIMsoluzioni3ms ma insieme1 finito2 O3 soluzioni3 tutteche 1msMI conoscosapevate 1

limitato3èposto 3 limitato3èposto 2 dire nullanonposto possoM3 CostMI 1 itutti limitatisonoposticosti limitatam3ma rete3 limitati13,13 3M3M1 1 sonoPa Ps limitati2 2m3ma sono1 11M2 tokenM2MI maunMI M1limitatezzasullanulladedurrenon posso limitehanon superioresolo dire medeve averequanti gettoniposso M2 viceversahaquanti ne osapendo MoVME AMOM cost vuoifai chela modonelevolvere rete Movuoiinizialedalla chemarcaturapartendo M1010 costanteMI M3 MosMose34 teModaM P invariantesi chiamaXcost incognitaM Mo t statoCS EqNo No its0Cscs Oc matematicometodoesempio 0 0 È liÈ C I7223 21tuate73X2Xi X2 73Xi O0 IÌtra xoIIII 2 242 101 0221 22 21ÈHe LO 10O 1 0Xi1 L221 22 2 Xc2 XAIX xc.FIfoxa XD2 XA221 Oè soluzione 0cnullovettore sempre invarianteèma non un XA XBXc linearmenteXD sononone indipendenti dipendonoOXAX pipa iperpiano diXDXA ci tutte lee permettono generaresoluzionialtre riveliinsieme addei elementi nonpostisupporto corrispondentiNBNPs

B11hAM pz.B.phMXa 1010 MI costm3cost mmm3maM 0111XD mu.comztm3M1cosi m2m3ma sicostMI M3 cost cost1 e ottengonoinizialedalla marcaturaMiema costM31 4MsoMIO costNo 3Msom2o Mao cost4 tutti limitati limitatareteMI M3 posti1 3Miema mt 1 sola PIFsoluzione esistonoO nonl'C O soluzionidi PIesiste diinsieme finitoun capaci generaretutti Rf cambitramitep della lineareiXD ha loroelementi nulli trachenon non primisonodivisione scolareunaper Pzpapa11h11XBhaXc di Xa 4psemeno IlichchickHall Mbit e insiemisticoXc minima inè sensonon altridi Pzcontiene supportoelementiXA canonico 10 primi lorotra PIcontieneIVANminimo certinonsupporto supportoG minimoPIPIdei canoniciGeneratore i a supportominimiPG esiste ed finitoèPIdarete reteconservativa nere negativicoperta è uol.ae 0da unogni posto coperto tuttiPI elementiall'interno 20di un conP Pdi 1almenoHp 20Ec p supporto limitataalloraconservativa reteretese conservativa ilstrettamente cherete conservai numeroconservativo

deitotale retedellagettoniin noi Lmarcatura conraggiungibile Pa PI4 NOi non compatibilegettoni Pu3 NON èso segettoni raggiungibile PIdire èsolo che compatibilepossodire diNON nulla alla marcatureraggiungibilitàposso nullanon direquindi sue posso vivezzareversibilità e dipendono raggiungibilitàesempio 1 of f 11c 1OBtaPs Pzti Xi Xi X201 2I ÈÈÌxxONo 2O MI Ma M31 marcatura2 mortaalternativometodo tabellare3CIc 2C1I O 0 O0Ificita II 1Xi1 10 0It OO0 g1 011 11 O OIt O 1 Xa112C 0 OO 03C tutti 0 finitociclo lidiselle colonneelementi colonnenulli dellenon consideratacambino sulla colonnali ottenere 0percambino le righela latuttasusomma rigaeseguo utilizzatelecancella righe tuttimatriceC è 0matricela unaquando DXle cancellateallora nonrigheinvariantiPsono 0tuttitabella SX èlase non è PIdala reteallora non copertale invece sxarighe DXPIa acorrispondonoT INVARIANTIinvariante 0risolveil T Cyequazione0 soluzione

NONtrappolatrappola reversibilesmarcata marcataTRAPPOLE è detto soloaiinsieme trappola sese epostiS E nelcontenuto presetpostsetja ota no RPfàte ta torceremettono prepostetolgono appartengonota tacereaggiunge tendetendenzialmente trappolauna a gettoniaggiungereMIEIMIRI 0se rimangonotutti della marcaturaunatrappolapostise yankingcuiin hanno tardiriescoallora smarcare trappolanon a completamentel'evoluzionedurante retedellaTRAPPOLESIFONI e 0minimonumero sifonimassimo finitosottoinsiemisifoninumeroG midei dicheinsieme sifoni permette generarealtritute unionedella rete tramitesifonigli dettidi basesifoni sono generatoriminimipsifoniovvero èpis'è il piùminimo se piccolopoicontienesifone cheSI S'aE BBPs PuII t3lte1 3 2SIS'è tetats ttu SS è sifone1 uno 2l'unione di èsifoni un sifoneS'a1 51 Papaè minimaBPzè minimo23 BPoPa minimoeSIFONICALCOLO pa B0O eEIt.si 0O PuPa posterpresetpostoPa te tataPz

ta taB to titletuPu tf minimicalcolare sifoni giaPa Pu 13tu tudevo coprireS'E SPups ts.tn tzts.tn Pcis è minimasifoneRe.BG 0B 5B t t.tnf S'EBpa Ststutztu.toB Bs è minimoRe sifone05Pz ta taGIR 0B Pi testa SEtatsPapa tats tstz.tn SIFONENONftp.B.patz.tstutstz.ts.tn cos'E SEPapas è minimosfamaBB Paè minimosifoneposterpresetpostoPa te tataPz ta taB to titletuPu t0Pu Pu 13tutto tuttodevo coprireBPupa t.tztstutitzts.tn 05 SEBB Pus Pciè minimosifonePIOTrappoleSIFONI PIE siasia è11X 0 11alloraun sopporto 91 11011 11da overosifone trappolaesempioMI M3 cost1 Mo 2 4in M3Ms 1msMIo marcatiamaMI rimangano tra