“…Για την μοντελοποίηση συστημάτων διακριτών γεγονότων έχει χρησιμοποιηθεί μεγάλος αριθμός εργαλείων, μεταξύ των οποίων αυτόματα (automata) ή μηχανές πεπερασμένων καταστάσεων (finite state machines) [27], [28], αναμονητικά δίκτυα (queuing networks) [29], προσομοίωση διακριτών γεγονότων (discrete event simulation) [2], δίκτυα Bayes (Bayesian Networks) [30], αλυσίδες Markov [31], άλγεβρα ελάχιστου -μέγιστου (minimax algebra) [32], τυπικές γλώσσες (formal languages) [33], διαγράμματα μετάβασης κατάστασης [34] και δίκτυα Petri που αποτελούν το εργαλείο που θα χρησιμοποιηθεί στην εργασία αυτή και θα παρουσιαστεί αναλυτικά στη συνέχεια [35],…”