Rete di Petri
Una rete di Petri (conosciuta anche come rete posto/transizione o rete P/T) è una delle varie rappresentazioni matematiche di un sistema distribuito discreto. Come un linguaggio di modellazione, esso descrive la struttura di un sistema distribuito come un grafo bipartito con delle annotazioni.
La rete di Petri deve il suo nome al matematico tedesco Carl Adam Petri, il quale ne enunciò le caratteristiche per la prima volta nel 1962 tramite la pubblicazione della propria tesi di dottorato, intitolata Kommunikation mit Automaten. Come rivelato dallo stesso Petri nel 2007, l'idea alla base della rete di Petri fu da lui concepita già nell'agosto 1939 (quando aveva 13 anni) per memorizzare in maniera più efficace i processi chimici.[1][2][3]
Descrizione
[modifica | modifica wikitesto]Concetti base
[modifica | modifica wikitesto]Una rete di Petri PT (Place/Transition) è un grafo orientato con due tipi di nodi, posti e transizioni, connessi da archi diretti. I posti sono rappresentati graficamente da cerchi e le transizioni da rettangoli.
Un arco può unire solamente nodi di tipo diverso, quindi possono esserci archi tra posti e transizioni - ma non tra posti e posti o transizioni e transizioni. Un posto da cui un arco parte per finire in una transizione è detto posto di input della transizione; un posto in cui un arco arriva partendo da una transizione è detto posto di output della transizione.
I posti possono contenere un certo numero di token o marche. Una distribuzione di token sull'insieme dei posti della rete è detta marcatura. Le transizioni agiscono sui token in ingresso secondo una regola, detta regola di scatto (in inglese firing). Una transizione è abilitata se può scattare, cioè se ci sono token in ogni posto di input. Quando una transizione scatta, essa consuma token dai suoi posti di input, esegue dei task e posiziona un numero specificato di token in ognuno dei suoi posti di uscita. Ciò avviene automaticamente, ad esempio in un singolo step non-prelazionabile. L'esecuzione delle reti di Petri è non deterministica. Ciò significa due cose:
- se più transizioni sono abilitate nello stesso momento, una qualsiasi di esse può scattare
- non è garantito che una transizione abilitata scatti; una transizione abilitata può scattare immediatamente, dopo un tempo di attesa qualsiasi (a patto che resti abilitata), o non scattare affatto.
Poiché lo scatto di una transizione non è predicibile a priori, le reti di Petri sono molto adatte a modellare il comportamento di un sistema concorrente.
Definizione formale
[modifica | modifica wikitesto]Una rete di Petri è un sistema a transizione di stati che estende una classe di reti, dette reti elementari.[4]
Definizione 1: Una rete è una tripla dove:
- è un insieme di stati chiamati posti.
- è un insieme di transizioni.
- è un insieme di flussi relazionali chiamati “archi”. Tali flussi sono possibili solamente tra posti e transizioni o viceversa.
Una rete è un grafo bipartito, dove è una partizione e è l'altra. Più precisamente, per ogni in esistono e in tali che e appartengono ad e per ogni e in se e sono in allora . In formula:
L'insieme contiene gli elementi della rete. L'insieme dei posti definisce gli stati locali della rete, tuttavia, lo stato globale di una rete può essere definito da sottoinsiemi di posti.
Definizione 2: Data una rete , una configurazione è un insieme .
Definizione 3: Una rete elementare è una rete della forma dove:
- è una rete.
- è una configurazione.
Definizione 4: Una rete di Petri è una rete della Teoria delle reti di Petri. Le proprietà teoriche delle reti di Petri sono state studiate ampiamente. Un motivo principale per usare le reti di Petri nel modellare i sistemi concorrenti è dato dalla possibilità di delineare formalmente e decidere delle proprietà desiderabili del sistema, come la liveness (ad esempio, in un sistema che non deve mai bloccarsi) o la boundedness (ad esempio, le risorse di un sistema come la CPU sono limitate). Naturalmente, la stessa proprietà in un contesto diverso può assumere un significato completamente diverso.
Una marcatura in una rete di Petri è raggiungibile se, partendo dalla marcatura iniziale, esiste una sequenza di scatto che la produce. Una rete di Petri è bounded se c'è un limite massimo al numero di token nelle sue marcature raggiungibili.
Tipi principali
[modifica | modifica wikitesto]Ci sono sei tipi principali delle reti di Petri:
- Macchina a stati finiti (State Machine - SM) - in cui ogni transizione ha un solo arco entrante e un solo arco uscente. Ciò implica che non può esserci concorrenza ma può esserci conflitto (ovvero quando si pone la domanda: dove deve andare il token di un posto? In una o nell'altra transizione?). Matematicamente:
- Grafo marcato (Marked Graph - MG) - in cui ogni posto ha un solo arco entrante e un solo arco uscente. In questo caso non ci sono conflitti ma ci sono concorrenze. Matematicamente:
- Scelta libera (Free choice - FC) - in cui l'arco è o l'unico arco che esce da un posto oppure l'unico arco che entra in una transizione. In altre parole, ci può essere sia concorrenza sia conflitto, ma non nello stesso istante. Matematicamente:
- Scelta libera estesa (Extended free choice - EFC) - una rete di Petri che può essere trasformata in una FC.
- Scelta asimmetrica (Asymmetric choice - AC) - concorrenza e conflitto (insomma, confusion), ma non asimmetricamente. Matematicamente:
Estensioni
[modifica | modifica wikitesto]Esistono molte estensioni delle reti di Petri. Alcune di esse sono completamente retro-compatibili (ad esempio le reti di Petri colorate) con la rete di Petri originaria, altre aggiungono proprietà che non possono essere modellate nella rete di Petri d'origine (ad esempio le reti di Petri tempificate). Se esse possono essere modellate nella rete di Petri originale, esse non sono reali estensioni ma sono modi conveniente di far vedere la stessa cosa, e possono essere trasformate con opportune formule matematiche nell'originale rete, senza perdere di significato.[5] Le estensioni che non possono essere trasformate sono a volte rappresentazioni molto potenti, ma tipicamente perdono una quantità di tools matematici disponibili per analizzare le normali reti di Petri.
Il termine rete di Petri ad alto livello è usato per molti formalismi delle reti di Petri che estendono il formalismo base P/T. Questo include anche le reti di Petri colorate, gerarchiche e tutte le altre estensioni citate in questa sezione.
Una breve lista delle possibili estensioni:
- In una rete di Petri standard, i token sono indistinguibili. In una rete di Petri colorata, ogni token ha un valore.[6] Nei tool popolari per le reti di Petri colorate, come CPN Tool, il valore del token è tipizzato e può essere testato e manipolato con un linguaggio di programmazione funzionale. Un sussidiario delle reti di Petri colorate sono le reti di Petri well-formed, dove le espressioni degli archi e di controllo sono vincolate a rendere più semplice l'analisi della rete.
- Un'altra estensione popolare della rete di Petri è la gerarchia: la gerarchia nella forma di diverse viste che supportano vari livelli di rifinimento e astrazione furono studiate da Fehling. Un'altra forma di gerarchia si trova nelle cosiddette reti di Petri ad oggetti o nei sistemi ad oggetti, dove una rete di Petri può contenere diverse reti come suoi token, stabilendo una gerarchia di reti di Petri innestate che comunicano sincronizzando le transizioni su diversi livelli.[7]
- Un Vector Addition System with States (VASS) può essere vista come generalizzazione di una rete di Petri (ma con qualcosa in meno). Si consideri un automa a stati finiti dove ogni transizione è tradotta in una transizione della rete di Petri. La rete di Petri segue dunque l'evoluzione dell'automa, ovvero una transizione nell'automa è eseguita allo stesso tempo nella corrispondente transizione nella rete di Petri. È possibile eseguire una transizione nell'automa solo se la corrispondente transizione nella rete è abilitata; è possibile che la transizione nella rete di Petri scatti solo se c'è una transizione dal corrente stato dell'automa etichettata da essa. Quello che gli automi a stati finiti non possono rappresentare sono le situazioni di sincronizzazioni che invece sono presenti nella rete di Petri: ad esempio, quando due posti sono in attesa su una transizione e la transizione non può scattare fin quando i due posti non rispondono entrambi ai vincoli della transizione.
- Le reti di Petri con priorità aggiungono meccanismi di priorità alle transizioni, in base a cui una transizione non può scattare se una transizione di priorità più alta è abilitata. Le transizioni sono divise in gruppi di priorità, ad esempio il gruppo di priorità 3 può solo scattare se tutte le transizioni nel gruppo 1 e nel gruppo 2 sono disabilitate. Con un gruppo di priorità, lo scatto è ancora non deterministico.
- La proprietà non-deterministica è di grande rilievo, poiché consente all'utente di astrarre un gran numero di proprietà (dipende dall'uso che bisogna fare della rete). In alcuni casi inoltre è necessario aggiungere al modello una tempificazione. Nascono così le reti di Petri temporizzate, nelle quali ci sono delle transizioni che sono temporizzate e altre che non lo sono (tipicamente le transizioni senza tempificazione hanno una priorità più alta di quelle temporizzate). Si vedano anche le reti di Petri stocastiche che aggiungono un tempo non-deterministico per rendere un concetto di casualità delle transizioni. La distribuzione casuale esponenziale è tipicamente utilizzata per "tempificare" tali reti. In questo caso, il grafo di raggiungibilità della rete diventa una catena di Markov.
- Le reti di Petri dualistiche (dP-Nets) sono un'estensione delle reti di Petri sviluppata da E. Dawis et al.[8] per rappresentare meglio i processi del mondo reale. Le reti dP bilanciano la dualità di cambiamento/non cambiamento, azione/passività, tempo/spazio (di trasformazione), ecc., tra i costrutti bipartiti di trasformazione e luogo della rete di Petri, risultando nella caratteristica unica della marcatura della trasformazione, ossia quando la trasformazione è "funzionante" essa viene marcata. Ciò consente alla trasformazione di attivarsi (o essere marcata) più volte, rappresentando il comportamento nel mondo reale della portata del processo. La marcatura della trasformazione presuppone che il tempo di trasformazione debba essere maggiore di zero. Un tempo di trasformazione pari a zero, utilizzato in molte tipiche reti di Petri, può essere matematicamente attraente ma poco pratico nel rappresentare i processi del mondo reale. Le reti dP sfruttano anche la potenza dell'astrazione gerarchica delle reti di Petri per rappresentare l'architettura dei processi. I sistemi di processi complessi sono modellati come una serie di reti più semplici interconnesse attraverso vari livelli di astrazione gerarchica. È stata dimostrata l'architettura del processo di una commutazione di pacchetto,[9] dove i requisiti di sviluppo sono organizzati attorno alla struttura del sistema progettato.
Ci sono molte altre estensioni alla rete di Petri, ma è importante ricordare che quanto più aumenta la complessità della rete in termini di proprietà estese, tanto più difficile è usare i tools standard per valutare certe proprietà della rete. Per questa ragione, è una buona idea usare il tipo di rete più semplice possibile per un dato processo di modellizzazione.
Modelli successivi di concorrenza
[modifica | modifica wikitesto]Successivamente all'invenzione delle reti di Petri, altri modelli di concorrenza, che sono basati sullo scambio di messaggi e sul comportamento composizionale, sono stati introdotti. Robin Milner e Carl Hewitt hanno infatti sostenuto che la mancanza della possibilità di composizione delle reti è una seria limitazione di Petri poiché è limitata la modularità. In aggiunta, Hewitt ha sostenuto che le reti di Petri mancano di località poiché i token di input di una transizione scompaiono simultaneamente, cosa che limita il realismo del modello.[10] Hewitt conosceva l'immediata contro-risposta alla sua osservazione, cioè che l'uso proprio delle reti di Petri è obbedire al vincolo del singolo evento, ogni transizione dovrebbe modellare un singolo evento. Ma senza tenere conto del tempo necessario perché l'evento accada o del tempo necessario affinché l'operazione associata alla transazione sia compiuta. forma , che estende la rete elementare in modo che:
- è una rete.
- è un multiinsieme.
- è un multiinsieme di archi.
Semantica
[modifica | modifica wikitesto]Un grafo di rete di Petri è una quadrupla , dove:
- è un insieme finito di posti
- è un insieme finito di transizioni, con
- è un multiinsieme di archi (relazione di flusso)
- è la funzione di peso di un arco
La relazione di flusso è un insieme di archi . In molti testi, gli archi possono avere molteplicità 1. Useremo la convenzione di usare al posto di ottenendo così che un grafo di rete di Petri è un multigrafo bipartito .
Il pre-insieme di una transizione , è l'insieme dei suoi posti di input: ; il post-insieme è un insieme dei posti di output: . Le due definizione sono analoghe.
Una marcatura di una rete di Petri è un multiinsieme dei suoi posti, cioè una mappatura . Diremo quindi che la marcatura assegna un numero di token.
Una rete di Petri è una quartupla , dove:
- è un grafo di rete di Petri;
- è la marcatura iniziale.
Semantica di esecuzione
[modifica | modifica wikitesto]Il comportamento di una rete di Petri viene definito attraverso relazioni fra le marcature, da notare che la marcatura può essere aggiunta come un qualsiasi multiinsieme:
L'esecuzione di un grafo di rete di Petri può essere definito attraverso la relazione di transizione sulle marcature, nel modo seguente:
- per ogni t in
In parole:
- Far scattare una transizione in una marcatura consuma token da ognuno dei posti in input di , e produce token per ognuno dei posti output di .
- Una transizione è abilitata (potrebbe scattare) se ci sono abbastanza token nei suoi posti input per rendere possibile il consumo di essi, vale a dire se e solo se .
Siamo generalmente interessati a cosa potrebbe accadere nel caso in cui le transizioni scattassero in ordine arbitrario. Diciamo che una marcatura è raggiungibile da una marcatura in un solo passo se , diciamo inoltre che è raggiungibile da se , dove è la chiusura riflessiva e transitiva di se è raggiungibile in 0 o più passi.
Per una rete di Petri (marcata) , siamo interessati agli scatti che possono essere compiuti partendo dalla marcatura iniziale . Definiamo l'insieme di marcature raggiungibili come:
Il grafo di raggiungibilità di N è la relazione di transizione ristretta alle marcature raggiungibili .
Una sequenza di scatti per una rete di Petri, un grafo G e una marcatura iniziale è una sequenza di transizioni tale che . L'insieme delle sequenze di scatti denotato da .
Reti di Petri come vettori e matrici
[modifica | modifica wikitesto]La marcatura per le reti di Petri può essere apprezzato meglio sotto forma di vettore di interi non negativi di lunghezza .
La relazione di transizione può essere descritta da una coppia di matrici di dimensioni :
- definito da
- definito da
Allora la loro differenza:
può essere usato per descrivere la marcatura raggiungibile in termini di prodotto tra matrici nel modo seguente:
Per ogni sequenza di transizioni , scriviamo per il vettore che mappa ogni transizione al suo numero di occorrenza in w. Allora, abbiamo:
Da notare che è richiesto che sia una frequenza di scatto, permettere sequenze di transizioni senza vincoli generalmente produce un insieme molto grande.
Raggiungibilità
[modifica | modifica wikitesto]Tutti gli stati che possono essere raggiunti da una rete con marcatura iniziale sono indicati con . Il problema della raggiungibilità è il seguente: è vero che ? Ovvero in quali casi è uno stato "sbagliato", che non deve essere raggiunto, ad esempio il passaggio di un treno quando la sbarra del passaggio a livello è alzata, o la salita di un ascensore quando le porte sono aperte.
La raggiungibilità degli stati può essere rappresentata con un grafo di raggiungibilità ove sono indicati gli stati e gli archi rappresentano le transizioni tra due stati. Il grafo è costruito come segue: si considera per primo lo stato di partenza () e vengono esplorate tutte le possibili transizioni da questo stato, poi le transizioni dagli stati trovati e così via. L'algoritmo con cui è costruito il grafo è quello di ricerca breadth-first, poiché il grafo può avere larghezza infinita, quindi una ricerca depth-first potrebbe non trovare tutti i possibili stati, anche se eseguito un numero infinito di volte. Si nota che la rete di Petri è intrinsecamente limitata (vedi appresso) se e solo se il suo grafo di raggiungibilità ha un numero finito di stati.
Mentre la raggiungibilità sembra essere un buon metodo per trovare gli stati "sbagliati", per problemi pratici il grafo costruito ha di solito troppi stati da calcolare. Per alleggerire questo problema, è usata spesso la logica temporale lineare (LTL) in congiunzione con il metodo tableau per provare che certi stati non possono essere raggiunti. LTL usa la tecnica della semi-decisione per trovare se davvero uno stato può essere raggiunto, ricercando un insieme di condizioni necessarie affinché lo stato sia raggiunto e provando che tali condizioni non possono essere soddisfatte.
Liveness
[modifica | modifica wikitesto]Una rete di Petri è viva o live se, qualunque sia la marcatura raggiunta a partire da , da è sempre possibile far scattare qualunque transizione della rete a seguito di un'ulteriore sequenza di scatti.
Sono definiti diversi livelli di liveness (in letteratura anche vivezza o vitalità), da a . Una transizione t di una rete di Petri () può essere:[11]
- live, o morta se e solo se essa non può scattare, cioè se non è in nessuna sequenza di scatto dove
- live, o quasi-viva, se e solo se essa ha la possibilità di scattare, cioè se si trova in una sequenza di scatto ove
- live se e solo se per ogni k intero positivo, t può scattare almeno k volte in una sequenza di scatto ove
- live se e solo se esiste una sequenza di scatto dove t scatta all'infinito
- live o semplicemente live se e solo se in ogni stato raggiungibile M (cioè ), t è viva.
Si nota che questi sono requisiti sempre più stringenti, ad esempio se una transizione è live, essa è automaticamente ed live. Come esempi, (b) mostra una rete di Petri viva con un dato stato iniziale, ma con un altro stato iniziale (per esempio totalmente vuoto) tutte le transizioni possono essere morte. Dall'altra parte, (a) mostra transizioni di una rete di Petri tutte live non importa cosa sia lo stato iniziale - esse non sono live, poiché quando lo stato è (0,2) oppure (2,0), una delle sue transizioni può non scattare in quanto la rete è 2-bounded.
Una rete di Petri è live se e solo se ogni transizione con essa è live.
Limitatezza
[modifica | modifica wikitesto]Ci sono delle reti di Petri in cui il numero massimo di token contenuti in un posto è limitato - in questo caso, la limitatezza è una proprietà intrinseca della rete. Comunque, le reti di Petri possono essere definite senza avere la proprietà della limitatezza; allora la limitatezza è una possibile proprietà della rete di Petri. Una rete di Petri si dice k-limitata se esiste un numero intero positivo k (finito) tale che il numero di token in ogni posto della rete è minore o uguale a k per ogni marcatura raggiungibile da Una rete di Petri è sicura o safe se è 1-limitata. Naturalmente, la limitatezza dipende dalla marcatura dello stato iniziale (cioè possiamo mettere 10 token in ogni posto inizialmente, rendendo impossibile avere una rete 2-limitata). Si nota inoltre che l'esempio (b) non è limitata poiché P4 può possedere un numero infinito di token, se la sequenza di scatto (T1,T2) si ripete all'infinito. Comunque, la rete dell'esempio (a) è intrinsecamente k-limitata per k=2 in tutti i posti e ciò è mostrato in tutti i possibili stati.
La limitatezza di un particolare posto in una rete limitata intrinsecamente può essere rappresentata in modo equivalente con una rete non espressamente limitata mediante una "trasformazione di posto", ovvero inserendo un nuovo posto (chiamato counter-place, posto di conteggio) e facendo sì che tutte le transizioni che mettono x token nel posto originale prendano x token dal posto di conteggio, e tutte le transizioni che portano via x token dal posto originale mettano poi x token nel posto di conteggio. Il numero di token in dovranno adesso soddisfare l'equazione posto + posto di conteggio = limitatezza. Quindi, facendo una trasformazione di posto per tutti i posti nella rete limitata e costringendo lo stato di partenza ad adeguarsi alla suddetta eguaglianza, una rete limitata può semplicemente essere trasformata in una rete non limitata. Quindi un'analisi utilizzata per una rete intrinsecamente non-limitata può essere usata anche per le reti limitate.
P-invariante
[modifica | modifica wikitesto]I P-invarianti corrispondono ad un insieme di posti tale che la somma pesata dei gettoni che la contengono rimane costante per tutte le marcature raggiungibili dalla rete. Dato matrice di incidenza della rete di Petri e vettore colonna di dimensione |P|, i P-invarianti sono le soluzioni intere della seguente equazione:
Dove, per esempio per una rete di Petri avente 5 posti, abbiamo il seguente vettore
T-invariante
[modifica | modifica wikitesto]In modo duale ai P-invarianti, i T-invarianti rappresentano possibili sequenze di scatti che riportano la rete alla marcatura iniziale. Dato matrice di incidenza della rete di Petri e vettore colonna di dimensione |T|, i T-invarianti sono le soluzioni intere della seguente equazione:
Sifoni e trappole
[modifica | modifica wikitesto]Sono delle strutture fondamentali per riconoscere la vivezza di una rete di Petri.
Sifoni
[modifica | modifica wikitesto]Un sifone, è un insieme di posti che, durante l'evoluzione della rete, tende a perdere gettoni e non è più capace di acquistarne di nuovi. Dato S un insieme di posti della rete di Petri, il sifone è definito:
Trappole
[modifica | modifica wikitesto]Sono il duale dei sifoni, è un insieme di posti che, durante l'evoluzione della rete, tende ad acquisire gettoni e non è più in grado di smarcarsi completamente. Dato S un insieme di posti della rete di Petri, la trappola è definita:
Aree di applicazione
[modifica | modifica wikitesto]- Calcolo differenziale booleano[12]
- Business process modeling[13][14]
- Biologia computazionale[15][16]
- Programmazione concorrente[17]
- Ingegneria dell'automazione[18][19][20]
- Analisi dei dati[21]
- Diagnostica (intelligenza artificiale)[22]
- Controllo di processo discreto[23][24][25]
- Teoria dei giochi[26]
- Progettazione hardware[27][28][29]
- Reti di processo di Kahn[30]
- Modellazione dei processi[31][32][33]
- Ingegneria dell'affidabilità[34][35]
- Simulazione[13]
- Software design[36]
- Workflow management system[32][33][37]
Note
[modifica | modifica wikitesto]- ^ (EN) Alessandro Giua e Manuel Silva, Petri nets and Automatic Control: A historical perspective (PDF), in Annual Reviews in Control, vol. 45, n. 2, 2018, pp. 223-239, DOI:10.1016/j.arcontrol.2018.04.006.
- ^ (EN) Carl Adam Petri, Speech - Gold Medal of Honor, The Academy of Transdisciplinary Learning and Advanced Studies (ATLAS) (PDF), Università di Amburgo, 2007.
- ^ (EN) Obituary - Carl Adam Petri (1926-2010) (PDF), Università di Amburgo.
- ^ (EN) Grzegorz Rozenberg e Joost Engelfriet, Elementary Net Systems, in Lectures on Petri Nets I: Basic Models – Advances in Petri Nets, collana Lecture Notes in Computer Science, vol. 1491, Springer, 1998, pp. 12-121, DOI:10.1007/3-540-65306-6_14, ISBN 3-540-65306-6.
- ^ (EN) Kurt Jensen, A brief introduction to coloured Petri Nets, in A brief introduction to colored Petri nets, collana Lecture Notes in Computer Science, vol. 1217, 1997, pp. 203-208, DOI:10.1007/BFb0035389, ISBN 978-3-540-62790-6.
- ^ (EN) Very Brief Introduction to CP-nets, su daimi.au.dk, Università di Aarhus (archiviato dall'url originale il 28 ottobre 2010).
- ^ (EN) What are Object Petri Nets?, su LLPN - Linear Logic Petri Nets (archiviato dall'url originale il 3 novembre 2005).
- ^ (EN) E.P. Dawis, J. F. Dawis e Wei-Pin Koo, Architecture of Computer-based Systems using Dualistic Petri Nets, in 2001 IEEE International Conference on Systems, Man, and Cybernetics, vol. 3, 2001, pp. 1554-1558, DOI:10.1109/ICSMC.2001.973505, ISBN 0-7803-7087-2.
- ^ (EN) E. P. Dawis, Architecture of an SS7 Protocol Stack on a Broadband Switch Platform using Dualistic Petri Nets, in 2001 IEEE Pacific Rim Conference on Communications, Computers and signal Processing, vol. 1, 2001, pp. 323-326, DOI:10.1109/PACRIM.2001.953588, ISBN 0-7803-7080-5.
- ^ (EN) Carl Hewitt, Actor Model of Computation (PDF), 7 novembre 2010.
- ^ (EN) Tadao Murata, Petri Nets: Properties, Analysis and Applications (PDF), in Proceedings of the IEEE, vol. 77, n. 4, aprile 1989, pp. 541-558, DOI:10.1109/5.24143.
- ^ (DE, EN) Rainer Scheuring e Herbert Wehlan, Der Boolesche Differentialkalkül – Eine Methode zur Analyse und Synthese von Petri-Netzen / The Boolean differential calculus – A method for analysis and synlhesis of Petri nets (XML), in At - Automatisierungstechnik - Methoden und Anwendungen der Steuerungs-, Regelungs- und Informationstechnik, vol. 39, n. 7, Stoccarda, R. Oldenbourg Verlag, 1º dicembre 1991, pp. 226-233, DOI:10.1524/auto.1991.39.112.226, ISSN 0178-2312 . URL consultato il 26 maggio 2024.
- ^ a b (EN) Wil M.P. van der Aalst e Christian Stahl, Modeling Business Processes - A Petri Net-Oriented Approach, MIT Press, 27 maggio 2011, pp. 1-400, ISBN 9780262015387.
- ^ (EN) Wil M.P. van der Aalst, Business Process Management, in Encyclopedia of Database Systems, Springer, 2018, pp. 370-374, DOI:10.1007/978-1-4614-8265-9_1179, ISBN 978-1-4614-8266-6.
- ^ (EN) Daniel M. Bean, Joshua Heimbach, Lorenzo Ficorella, Gos Micklem, Stephen G. Oliver e Giorgio Favrin, esyN: Network Building, Sharing and Publishing, in PLoS One, vol. 9, n. 9, 2 settembre 2014, pp. e106035, Bibcode:2014PLoSO...9j6035B, DOI:10.1371/journal.pone.0106035, PMC 4152123, PMID 25181461.
- ^ (EN) Ina Koch, Wolfgang Reisig e Falk Schreiber, Modeling in Systems Biology - The Petri Net Approach, collana Computational Biology, vol. 16, Springer, 2011, DOI:10.1007/978-1-84996-474-6, ISBN 978-1-84996-473-9.
- ^ (EN) L. M. Kristensen e M. Westergaard, Automatic Structure-Based Code Generation from Coloured Petri Nets: A Proof of Concept, in Formal Methods for Industrial Critical Systems, Formal Methods for Industrial Critical Systems - 15th International Workshop, FMICS 2010, collana Lecture Notes in Computer Science, vol. 6371, 2010, pp. 215-230, DOI:10.1007/978-3-642-15898-8_14, ISBN 978-3-642-15897-1.
- ^ (EN) René David e Hassane Alla, Discrete, continuous, and hybrid Petri Nets, Springer, 2005, ISBN 978-3-540-22480-8.
- ^ (EN) Xuehui Gao e Xinyan Hu, A Petri Net Neural Network Robust Control for New Paste Backfill Process Model, in IEEE Access, vol. 8, 2020, pp. 18420-18425, Bibcode:2020IEEEA...818420G, DOI:10.1109/ACCESS.2020.2968510.
- ^ (EN) Erik Kučera, Oto Haffner, Peter Drahoš, Roman Leskovský e Ján Cigánek, PetriNet Editor + PetriNet Engine: New Software Tool For Modelling and Control of Discrete Event Systems Using Petri Nets and Code Generation, in Applied Sciences, vol. 10, n. 21, gennaio 2020, pp. 7662, DOI:10.3390/app10217662.
- ^ (EN) Wil M.P. van der Aalst, Process Mining - Data Science in Action, Second Edition, Springer, 2016, DOI:10.1007/978-3-662-49851-4, ISBN 978-3-662-49850-7.
- ^ (EN) J. Carmona, B.F. van Dongen, A. Solti e M. Weidlich, Conformance Checking - Relating Processes and Models, Springer, 2018, DOI:10.1007/978-3-319-99414-7, ISBN 978-3-319-99413-0.
- ^ (EN) Joaquin L. Fernandez, Rafael Sanz, Enrique Paz e Carlos Alonso, Using hierarchical binary Petri nets to build robust mobile robot applications: RoboGraph, in IEEE International Conference on Robotics and Automation, 2008., Pasadena, 19-23 maggio 2008, pp. 1372-7, DOI:10.1109/ROBOT.2008.4543394, ISBN 978-1-4244-1646-2.
- ^ (EN) J. Marco Mendes, Paulo Leitão, Armando W. Colombo e Francisco Restivo, High-level Petri nets for the process description and control in service-oriented manufacturing systems, in International Journal of Production Research, vol. 50, n. 6, Taylor & Francis, 2012, pp. 1650-1665, DOI:10.1080/00207543.2011.575892.
- ^ (EN) D. Fahland e C. Gierds, Analyzing and Completing Middleware Designs for Enterprise Integration Using Coloured Petri Nets, in Active Flow and Combustion Control 2018, Advanced Information Systems Engineering - 25th International Conference, CAiSE 2013, collana Lecture Notes in Computer Science, vol. 7908, 2013, pp. 400-416, DOI:10.1007/978-3-642-38709-8_26, ISBN 978-3-319-98176-5.
- ^ (EN) Julio Clempner, Modeling shortest path games with Petri nets: a Lyapunov based theory, in International Journal of Applied Mathematics and Computer Science, vol. 16, n. 3, 2006, pp. 387-397, ISSN 1641-876X .
- ^ (EN) Alex Yakovlev, Luis Gomes e Luciano Lavagno, Hardware Design and Petri Nets, 2000, DOI:10.1007/978-1-4757-3143-9, ISBN 978-1-4419-4969-1.
- ^ (EN) J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno e A. Yakovlev, Logic Synthesis for Asynchronous Controllers and Interfaces, collana Springer Series in Advanced Microelectronics, vol. 8, 2002, DOI:10.1007/978-3-642-55989-1, ISBN 978-3-642-62776-7, ISSN 1437-0387 .
- ^ (EN) Jordi Cortadella, Alex Yakovlev e Grzegorz Rozenberg, Concurrency and Hardware Design, collana Lecture Notes in Computer Science, vol. 2549, 2002, DOI:10.1007/3-540-36190-1, ISBN 978-3-540-00199-7, ISSN 0302-9743 .
- ^ (EN) Cinzia Bernardeschi, Nicoletta De Francesco e Gigliola Vaglini, A Petri nets semantics for data flow networks, in Acta Informatica, vol. 32, n. 4, 1995, pp. 347-374, DOI:10.1007/BF01178383.
- ^ (EN) Wil M. P. van der Aalst, Christian Stahl e Michael Westergaard, Strategies for Modeling Complex Processes Using Colored Petri Nets, in Transactions on Petri Nets and Other Models of Concurrency VII, Trans. Petri Nets Other Model. Concurr., collana Lecture Notes in Computer Science, vol. 7, 2013, pp. 6-55, DOI:10.1007/978-3-642-38143-0_2, ISBN 978-3-642-38142-3.
- ^ a b (EN) Wil M. P. van der Aalst, Workflow Patterns, in Encyclopedia of Database Systems, Springer, 2018, pp. 4717-4718, DOI:10.1007/978-1-4614-8265-9_826, ISBN 978-1-4614-8266-6.
- ^ a b (EN) Wil M. P. van der Aalst, Workflow Model Analysis, in Encyclopedia of Database Systems, Springer, 2018, pp. 4716-4717, DOI:10.1007/978-1-4614-8265-9_1476, ISBN 978-1-4614-8266-6.
- ^ (EN) Patrick D. T. O'Connor e Andre Kleyner, Practical reliability engineering, 5ª ed., Wiley, 2012, ISBN 978-1-119-96126-0, OCLC 862121371.
- ^ (FR) Marion Juan, David Mailland, Nicolas Fifis e Guy Gregoris, Modélisation des pannes d'une antenne active et modifications d'architecture, in Techniques de l'Ingénieur, collana Sécurité des Systèmes Industriels, dicembre 2021, DOI:10.51257/a-v1-se1221.
- ^ (EN) Erik Kučera, Oto Haffner, Peter Drahoš, Ján Cigánek, Roman Leskovský e Juraj Štefanovič, New Software Tool for Modeling and Control of Discrete-Event and Hybrid Systems Using Timed Interpreted Petri Nets, in Applied Sciences, vol. 10, n. 15, gennaio 2020, pp. 5027, DOI:10.3390/app10155027.
- ^ (EN) Arthur H. M. ter Hofstede, Wil M. P. van der Aalst, Michael Adams e Nick Russell, Modern Business Process Automation - YAWL and its Support Environment, 2010, DOI:10.1007/978-3-642-03121-2, ISBN 978-3-642-03122-9.
Bibliografia
[modifica | modifica wikitesto]- (EN) Janette Cardoso e Heloisa Camargo, Fuzziness in Petri Nets, Physica-Verlag, 1999, ISBN 978-3-7908-1158-2.
- (EN) Manuel Chiachio, Juan Chiachio, Darren Presscott e John Andrews, A new paradigm for uncertain knowledge representation by Plausible Petri nets, in Information Sciences, vol. 453, luglio 2018, pp. 323-345, DOI:10.1016/j.ins.2018.04.029.
- (EN) Iwona Grobelna, Formal verification of embedded logic controller specification with computer deduction in temporal logic (PDF), in Przegląd Elektrotechniczny, vol. 87, 12a, 2011, pp. 47-50.
- (EN) Kurt Jensen, Coloured Petri Nets, Springer Verlag, 1997, ISBN 978-3-540-62867-5.
- (HU) András Pataricza, Formális moódszerek az informatikában, TYPOTEX Kiadó, 2004, ISBN 978-963-9548-08-4.
- (EN) James Lyle Peterson, Petri Nets, in ACM Computing Surveys, vol. 9, n. 3, 1977, pp. 223-252, DOI:10.1145/356698.356702.
- (EN) James Lyle Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall, 1981, ISBN 978-0-13-661983-3.
- (DE) Carl Adam Petri, Kommunikation mit Automaten (PDF) (Ph.D. Thesis), Università di Bonn, 1962.
- Wolfgang Reisig, Le reti di Petri, Arnoldo Mondadori Editore, 1984, OCLC 797058669.
- (EN) Wolfgang Reisig, A Primer in Petri Net Design, Springer-Verlag, 1992, ISBN 978-3-540-52044-3.
- (EN) Robert-Christoph Riemann, Modelling of Concurrent Systems: Structural and Semantical Methods in the High Level Petri Net Calculus, Herbert Utz Verlag, 1999, ISBN 978-3-89675-629-9.
- (EN) Harald Störrle, Models of Software Architecture - Design and Analysis with UML and Petri-Nets, H. Störrle, 2000, ISBN 978-3-8311-1330-9.
- (EN) Dmitry Zaitsev, Clans of Petri Nets: Verification of protocols and performance evaluation of networks, LAP LAMBERT Academic Publishing, 2013, ISBN 978-3-659-42228-7.
- (EN) Mengchu Zhou e Frank Dicesare, Petri Net Synthesis for Discrete Event Control of Manufacturing Systems, Kluwer Academic Publishers, 1993, ISBN 978-0-7923-9289-7.
- (EN) Mengchu Zhou e Kurapati Venkatesh, Modeling, Simulation, & Control of Flexible Manufacturing Systems: A Petri Net Approach, World Scientific Publishing, 1999, ISBN 978-981-02-3029-6.
- (EN) Xu Xue-Guo, Picture Fuzzy Petri Nets for Knowledge Representation and Acquisition in Considering Conflicting Opinions, in Applied Sciences, vol. 9, n. 5, 2019, p. 983, DOI:10.3390/app9050983.
Altri progetti
[modifica | modifica wikitesto]Wikimedia Commons contiene immagini o altri file sulla rete di Petri
Collegamenti esterni
[modifica | modifica wikitesto]- Mauro Cappelli, rete di Petri, in Enciclopedia della scienza e della tecnica, Istituto dell'Enciclopedia Italiana, 2007-2008.
- (EN) Opere riguardanti Petri nets, su Open Library, Internet Archive.
- (EN) Denis Howe, Petri net, in Free On-line Dictionary of Computing. Disponibile con licenza GFDL
- (EN) Petri Nets World, su informatik.uni-hamburg.de, Università di Amburgo. URL consultato il 26 maggio 2024.
- (EN) XRL (eXchangeable Routing Language), su is.tm.tue.nl, Università tecnica di Eindhoven (archiviato dall'url originale il 22 marzo 2007).
Controllo di autorità | Thesaurus BNCF 6134 · LCCN (EN) sh85100346 · GND (DE) 4045388-1 · BNE (ES) XX548185 (data) · J9U (EN, HE) 987007538726205171 |
---|