Automazione industriale

Di Petriretides

Discrete Event Systemsistemi eventidaguidatistati descrizionidiscreti sistemadel con stringhefotografieeventi discreti hanno la di transizionidellei causefunzione guidatransizioni stato eventidi associate aistantaneetransizioni

Automi

Statiinfiniti dinecessitano infinitoun guforappresentareper laviene deldiversificata scelta parallelismonon entrambe transizionidallesono rappresentateho robot farduescelta una compitoqualescelgo eseguireaX liberorobot occupatorobotdue indipendentiparallelismo Xlibero occupatoY liberolibero4 in automadue automi un nuovonon posso comporre costruzionerincominciare davolta ladevoma ogni capomodulabiliscalabilinon sono

Petridireti fpgrafo

T 0P deiinsieme postitransizioniTi insieme delle PD TxtFEF relazione di flusso utransizionepostotransizione postoEPi autoaiutoesempio I teti2 PsPIT WF Mpit 40NFW weight peso P µM marcatura

Diregole interpretazione

Modi collocatideiinsieme monte diapreset Ii EFPutPutX xgyenodi collocati valle diinsieme deipostati a I EFPut PutX xx gyetransizione viene abilitatadettatuna cosedi ta presetpogni posto appartenenteper èla marcaturasua omaggiore ugualedidel ptpesotpe.tl wlp.tlaMlpabilitata cambioè scattaret allora marcaturase può M Mwp.tlM'Ip Mlpa peat pettose di tmonteapb pel't1M'Ip WhipMlp se petdi tvallep atwlt.plM'Ip WMlp paintptc se autoanellod M'Ip Mlp altroveE EP pesempio I tafaniI I Escartoti titiµ ÈB Babilitatetransizionihose piùRegola 1 èsolo ed sceltascorta casoaReti deterministichePetridi sano non

Retedi dellaevoluzionealgoritmo

Inizialela marcaturacondizioneconoscendo transizionitute le abilitatecalcolo da far scattarecasounane ascelgo scatta anche nonse so quandoprima o poicambia lo stato marcaturatorreripeto algoritmo player fartransizione abilitata scontarequalecasoascegliendo biviostofattodi unprendendo evoluzioniPetri lerete di tute possibiliuna rappresentache accadesolamentenon quellaconsumatorieesempio produttori PR cons

Specifica

Produttore Ps Ps il hamarcato produttoreacquisito un pezzo grezzolavorarepronto per2 pa ilmarcato haproduttoreIII aFed.me eè unacquisirepronto perPz nuovo prodottote lavorazione espulsionetra nuovoi acquisizione grezzoconsumatore Ps ilPg hamarcato consumatoresemilavoratoacquisito unlavorarepronto perRenzi EE.IEieedinbuffer lavoratouscitaè unacquisirepronto perPu semilavoratonuovotu lavorazione x espulsione3 nuovoacquisizione grezzoPs Psf II tuE Pg paPs semilavorato nel bufferbuffersincronizzazione3 PsPdabilitata sia hanno tornicheè quando c'è semilavoratoèconsumatore unse ma nonpiovuto abilitataèattenderedevo non haè consumatoresemilavorato nonse unpronto abilitataèterminatoancora nonevoluzionelo È MsMo MateoN1 MatoteNo tataO tI Mo M E tuatataPs ha limitebuffer nonproblema superioretorcerequanti vogliodepositareposso 3B ci siano massimoche in postivoglio imporre di tescattolovincolarevoglio abilitare taiodecidereovvero quandovoglio diil temodifico presetPg ppe O.jp1 tujp yE Pg paPg libere neltoreri posizioni bufferPs neltenere posizioni bufferoccupateBtp è costantetaraisommaI consumatore Pg ptPaiii Vi ritois211 ILI E PsPsabilitatete entrambe3 e Its Itsl'altradisabilitandoscattaduedelleuna il PtPsil semilavoratosecondo consumatore prendeil in attesarimane di tenereconsumatore nuovounprimo pe ptpe 7 aIjp I tois211 ILI E PsPsIialternativa consumatorei consumatoretoreriavrei untokenduplicare ogni rappresentapotuto PgPa aII µ2IN IE Ps ppi consumatoriduenon distinguereposso èchesolo consumatore in attesadire unposso l'altro lavorandosemilavoratodi mentre staunvariante semilavoratiil in 2uningresso producegrezzopresoproduttore semilavoratihail 3diconsumatore un prodottobisogno perPgPa BII µf 2IA IPgPz pa

Strutture

Tati abilita tesconto tete in teconsequenza scelta disabilitatotascattateti taii i1 sceltafineparallelolo di ètescontoindifferente perabilitazione tadita parallelismoscartatequando depositotokenduei11I sincronizzazioneabilitare te devoper entrambite inavere tacerei del presetpostiRegole chevolta devo chiuderlasceltauna poiogni apro deadlockvado inchiude sincronizzazioneconse che devovolta sincronizzareun poiogni parallelismoapro fine illimitatahosceltachiudo retese con unaDettagli pPi condizionepre di inizio carica