Please use this identifier to cite or link to this item: https://apothesis.eap.gr/handle/eap/657
Title: Τυπικές Προδιαγραφές: Δίκτυα Petri - Τυπικές Προδιαγραφές: Η τυπική γλώσσα Ζ
Authors: Τσιρίγκα, Βικτωρία
Advisor: Ξένος, Μιχάλης
Keywords: Τυπικές Προδιαγραφές;Δίκτυα Petri;Θέσεις;Μεταβάσεις;Τεκμήρια;Δίκτυα συνθήκης-γεγονότος;Δίκτυα θέσης-μετάβασης;States;Transitions;Tokens;Condition-event networks
Issue Date: 2008
Abstract: Τυπικές Προδιαγραφές: Δίκτυα Petri: Σκοπός του συγκεκριμένου διδακτικού υλικού είναι να αποσαφηνίσει το συμβολισμό των δικτύων Petri και να παρέχει μία σειρά από ολοκληρωμένα παραδείγματα μοντελοποίησης συστημάτων με τη βοήθεια των δικτύων αυτών. Επίσης, περιλαμβάνονται στο διδακτικό υλικό και μία σειρά από ασκήσεις που ο φοιτητής πρέπει να επιλύσει και να συγκρίνει τη λύση του με τις ενδεικτικές λύσεις που παρέχονται. Το παρόν υλικό θα πρέπει να μελετηθεί σε συνδυασμό με το κεφάλαιο 8 του 1ου τόμου «Τυπικές Προδιαγραφές», καθώς και τα αντίστοιχα τμήματα webcast για δίκτυα Petri. - Τυπικές Προδιαγραφές: Η τυπική γλώσσα Ζ: Σκοπός του συγκεκριμένου διδακτικού υλικού είναι να αποσαφηνίσει το βασικό συμβολισμό της τυπικής γλώσσας Ζ και να παρέχει μία σειρά από ολοκληρωμένα παραδείγματα μοντελοποίησης συστημάτων με τη βοήθεια της γλώσσας αυτής. Επίσης, περιλαμβάνονται στο διδακτικό υλικό και μία σειρά από ασκήσεις που ο φοιτητής πρέπει να επιλύσει και να συγκρίνει τη λύση του με τις ενδεικτικές λύσεις που παρέχονται. Το παρόν υλικό θα πρέπει να μελετηθεί σε συνδυασμό με το κεφάλαιο 7 του 1ου τόμου «Τυπικές Προδιαγραφές», καθώς και τα αντίστοιχα τμήματα webcast που προτείνονται σε κάποιες ασκήσεις που παρουσιάζονται.
Appears in Collections:ΠΛΗ42 Ψηφιακό Εκπαιδευτικό Υλικό (ΨΕΥ)

Files in This Item:
File Description SizeFormat 
plh 42_tsirigga.zip1.88 MBUnknownView/Open


Items in Apothesis are protected by copyright, with all rights reserved, unless otherwise indicated.