Μία επισκόπηση των δικτύων Petri

Η διπλωματική αυτή ασχολείται με την ανάλυση των δικτύων Petri καθώς και την υλοποίηση εφαρμογών στα διάφορα επίπεδά τους. \nΤο πρώτο κεφάλαιοείναι εισαγωγικό με μια βιβλιογραφική ανασκόπηση του θέματος και την παρουσίαση μερικών εννοιών της θεωρίας των γραφημάτων, οι οποίες θα χρησιμοποιηθούν στα υπόλοιπα κεφάλαια. \nΣτο δεύτερο κεφάλαιο, αναλύονται τα δίκτυα Petri, ξεκινώντας από την ιστορική τους αναδρομή και τον ορισμό τους. Στη συνέχεια αναλύονται τα δομικά τους στοιχεία και οι ιδιότητές τους. Έπειτα, αναφέρεται η μοντελοποίηση με την βοήθεια των δικτύων Petri. \nΣτο τρίτο κεφάλαιο, αναφέρονται οι κατηγορίες των δικτύων Petri και πραγματοποιείται εκτενής ανάλυση των δικτύων χαμηλού επιπέδου, υψηλού επιπέδου, των δικτύων με χρονισμένες μεταβάσεις, των στοχαστικών δικτύων και των δικτύων με ουρές. \nΣτο τέταρτο κεφάλαιο, αναπτύσσονται διάφορες εφαρμογές των δικτύων Petri. Πιο συγκεκριμένα, δίνονται και αναλύονται παραδείγματα εφαρμογών δικτύου Petri χαμηλού και υψηλού επιπέδου, δικτύου με χρονισμένες μεταβάσεις και απλού μοντέλου Petri για την πρόγνωση του καιρού. \nΣτο πέμπτο κεφάλαιο, αναλύονται δύο ακόμα εφαρμογές των δικτύων Petri χρησιμοποιώντας τα ως μαθηματικό και ως γραφικό εργαλείο. \nΤέλος, στο έκτο κεφάλαιο, καταγράφονται τα συμπεράσματα της παρούσας μελέτης.