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

Abstract

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