PetriNetPrimer

I reti di Petri modellano sistemi concorrenti e distribuiti in cui i componenti attivi comunicano attraverso la produzione e l'assorbimento di vari tipi di risorse. Sebbene le proprietà dinamiche di tali sistemi possano essere molto complesse, talvolta possono essere collegate alla struttura statica di un rete di Petri. Molte proprietà sono decidibili, ma la loro complessità può essere enorme. È spesso opportuno limitarsi a classi di sistemi, a algoritmi parziali e a proprietà simili ma più semplici. Invece di analizzare un sistema dato, è anche possibile cercare un sistema che soddisfi alcune proprietà desiderate per costruzione. Questo testo completo e di riferimento presenta e discute in dettaglio queste questioni nel contesto di uno dei modelli fondamentali delle reti di Petri, chiamato reti posto/transizione. La presentazione è rafforzata da numerosi esempi ed esercizi svolti. Tra gli argomenti trattati:
• In quale ordine possono essere generate e pianificate le azioni?
• Quali stati e configurazioni possono essere raggiunti in un sistema concorrente?
• Quali classi interessanti di sistemi possono essere analizzate relativamente in modo efficiente?
• È possibile sintetizzare un sistema di una certa classe dal suo comportamento?
• Come possono essere rappresentati i sistemi in modo algebrico, compositivo e conciso?

Questo testo unico, basato su corsi introduttivi e avanzati sui sistemi distribuiti, servirà come guida preziosa per studenti e futuri ricercatori interessati agli aspetti teorici e pratici delle reti di Petri e dei modelli di sistema correlati. Eike Best è stato professore ordinario (ora in pensione) presso la Carl von Ossietzky Universität Oldenburg, Germania. Raymond Devillers è stato professore ordinario (ora in pensione) presso l'Université Libre de Bruxelles, Belgio. Gli autori hanno una lunga esperienza come collaboratori nei campi delle reti di Petri e della semantica della concorrenza.