“…Η ύπαρξη καλά ορισμένων τεχνικών ανάλυσης τους όπως είναι οι invariants και τα Δέντρα Προσιτών Καταστάσεων (ΔΠΚ, reachability trees), μπορεί εύκολα να αναδείξει συγκεκριμένα χαρακτηριστικά της συμπεριφοράς του συστήματος και να συμβάλει στην εύρεση λύσεων σε προβλήματα που αφορούν το σύστημα[22,23,24]. Λόγω αυτών των πλεονεκτημάτων, τα δίκτυα Petri έχουν χρησιμοποιηθεί σε ένα ευρύ πεδίο εφαρμογών, όπως τα συστήματα υπολογιστών[11], η σύνθεση κυκλωμάτων από υψηλού επιπέδου περιγραφή (high-level synthesis)[25], VLSI συστήματα[26], συστήματα παραγωγής[27,28], πρωτόκολλα επικοινωνίας[29,30], καιαυτόματος έλεγχος [31]. Στην εργασία που έχει γίνει στα πλαίσια της παρούσας διατριβής και παρουσιάζεται στο κεφάλαιο αυτό, χρησιμοποιούνται τα δίκτυα Petri ως μέσο για την εύρεση μετασχηματισμών απεικόνισης μιας μεγάλης κατηγορίας αλγορίθμων σε διατάξεις επεξεργαστών, δηλαδή σε μία εφαρμογή του χώρου της μικροηλεκτρονικής.…”