Μοντελοποίηση και ανάλυση συστημάτων πραγματικού χρόνου με υψηλού επιπέδου χρονοδίκτυα Petri

Όλα τα τεκμήρια στο ΕΑΔΔ προστατεύονται από πνευματικά δικαιώματα.

DOI
10.12681/eadd/24724
Διεύθυνση Handle
http://hdl.handle.net/10442/hedi/24724
ND
24724
Εναλλακτικός τίτλος
Modeling and analysis of real time systems using high level timed Petri nets
Συγγραφέας
Ανανίδου, Δήμητρα
Ημερομηνία
1999
Ίδρυμα
Αριστοτέλειο Πανεπιστήμιο Θεσσαλονίκης (ΑΠΘ). Σχολή Πολυτεχνική. Τμήμα Ηλεκτρολόγων Μηχανικών και Μηχανικών Υπολογιστών
Εξεταστική επιτροπή
Χασάπης Γεώργιος
Κοντολέων Γεώργιος
Πετρίδης Βασίλειος
Πέτρου Λ.
Δοκουζγιάννης Σταύρος
Βλαχάβας Ιωάννης
Μαργαρίτης Κωνσταντίνος
Επιστημονικό πεδίο
Επιστήμες Μηχανικού και ΤεχνολογίαΕπιστήμη Ηλεκτρολόγου Μηχανικού, Ηλεκτρονικού Μηχανικού, Μηχανικού Η/Υ
Λέξεις-κλειδιά
Συστήματα πραγματικού χρόνου; Μοντελοποίηση; Ανάλυση; Υψηλού επιπέδου χρονοδίκτυα Petri; Χρωματικά δίκτυα Petri; Εργαλεία μοντελοποίησης συστημάτων; Εργαλεία δικτύων Petri; Δίκτυα-πλαίσια ανάλυσης συστημάτων; Δένδρο προσεγγισιμότητας; Χώρος καταστάσεων
Χώρα
Ελλάδα
Γλώσσα
Ελληνικά
Άλλα στοιχεία
324 σ., εικ.
Στατιστικά χρήσης
ΠΡΟΒΟΛΕΣ
Αφορά στις μοναδικές επισκέψεις της διδακτορικής διατριβής για την χρονική περίοδο 07/2018 - 07/2023.
Πηγή: Google Analytics.
ΞΕΦΥΛΛΙΣΜΑΤΑ
Αφορά στο άνοιγμα του online αναγνώστη για την χρονική περίοδο 07/2018 - 07/2023.
Πηγή: Google Analytics.
ΜΕΤΑΦΟΡΤΩΣΕΙΣ
Αφορά στο σύνολο των μεταφορτώσων του αρχείου της διδακτορικής διατριβής.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.
ΧΡΗΣΤΕΣ
Αφορά στους συνδεδεμένους στο σύστημα χρήστες οι οποίοι έχουν αλληλεπιδράσει με τη διδακτορική διατριβή. Ως επί το πλείστον, αφορά τις μεταφορτώσεις.
Πηγή: Εθνικό Αρχείο Διδακτορικών Διατριβών.