BEGIN:VCALENDAR
VERSION:2.0
BEGIN:VEVENT
DTSTART:20101029T000000
DURATION:PT00H00M00S
SUMMARY:[DEADLINE] 01 / Κυκλώματα και Διακόπτες
DESCRIPTION:Να αποδοθεί το προτεινόμενο κύκλωμα διακοπτών
(deadline: 2010-10-29 00:00:00)
BEGIN:VALARM
TRIGGER:-PT24H
DURATION:PT10H
ACTION:DISPLAY
DESCRIPTION:DEADLINE REMINDER for 01 / Κυκλώματα και Διακόπτες
END:VALARM
END:VEVENT
BEGIN:VEVENT
DTSTART:20121007T000000
DURATION:PT00H00M00S
SUMMARY:[DEADLINE] 03 / Θεωρία Συνόλων
DESCRIPTION:Να ορίσετε τα σύνολα
(deadline: 2012-10-07 00:00:00)
BEGIN:VALARM
TRIGGER:-PT24H
DURATION:PT10H
ACTION:DISPLAY
DESCRIPTION:DEADLINE REMINDER for 03 / Θεωρία Συνόλων
END:VALARM
END:VEVENT
BEGIN:VEVENT
DTSTART:20131005T000000
DURATION:PT00H00M00S
SUMMARY:[DEADLINE] 04 / Θεωρία Συνόλων
DESCRIPTION:Αν Α={φυσικός x / x πολλαπλάσιο του 3}
και Β={φυσικός x / x=3y+1, για κατάλληλα y}
και C={φυσικός x / x πολλαπλάσιο του 4}
Να περιγραφούν οι σχέσεις
(deadline: 2013-10-05 00:00:00)
BEGIN:VALARM
TRIGGER:-PT24H
DURATION:PT10H
ACTION:DISPLAY
DESCRIPTION:DEADLINE REMINDER for 04 / Θεωρία Συνόλων
END:VALARM
END:VEVENT
BEGIN:VEVENT
DTSTART:20131008T000000
DURATION:PT00H00M00S
SUMMARY:[DEADLINE] 05 /Θεωρία Συνόλων
DESCRIPTION:Να ορίσετε το σύνολο {0, -4, 4, -8, 8, ...}
(deadline: 2013-10-08 00:00:00)
BEGIN:VALARM
TRIGGER:-PT24H
DURATION:PT10H
ACTION:DISPLAY
DESCRIPTION:DEADLINE REMINDER for 05 /Θεωρία Συνόλων
END:VALARM
END:VEVENT
BEGIN:VEVENT
DTSTART:20141007T095900
DURATION:PT00H00M00S
SUMMARY:[DEADLINE] 1η Εργασία (2014-2015)
DESCRIPTION:ΘΕΜΑ 1: Να περιγραφούν οι αλγόριθμοι



Της φυσαλίδας 
Μετατροπής αριθμού από το δεκαδικό στο δυαδικό σύστημα αρίθμησης 
Μετατροπής αριθμού από το δυαδικό στο δεκαδικό σύστημα αρίθμησης



ΘΕΜΑ 2:  Να περιγράψετε το σύνολο των καλών ανθρώπων
ΘΕΜΑ 3:  Να σχεδιάσετε τα σύνολα



|z-2+i| < 1
|2z+3| > 4



ΘΕΜΑ 4:  Να γραφεί κείμενο με θέμα "Αλγοριθμική Θεωρία".
Το κείμενο θα περιλάβει τις ενότητες:

Ιστορική εξέλιξη της έννοιας 
Ορισμός 
Μαθηματική περιγραφή 
Συμβολισμοί ( να αναφέρετε τα σύμβολα που χρησιμοποιούναι στα λογικά διαγράμματα) 
Χρησιμότητα 
Η έρευνα στην Αλγοριθμική Θεωρία (να περιγραφεί η σημερινή κατάσταση στην έρευνα που γίνεται στην αλγοριθμική θεωρία) 
Κριτική προσέγγιση ( να περιγράψετε τις απόψεις σας σχετικά με την αλγοριθμική θεωρία) 
Βιβλιογραφικές αναφορές  (να αναφερθούν Βιβλία της πανεπιστημιακής βιβλιοθήκης, δημοσιευμένες εργασίες σε επιστημονικά περιοδικά, και διαδικτυακές πηγές) 
Τεχνική περιγραφή εκτέλεσης της εργασίας

ΣΧΟΛΙΑ:
 Στο θέμα 2, να περιγράψετε το ασαφές σύνολο και να ορίσετε τη συνάρτηση συμμετοχής των στοιχείων στο σύνολο.Η εργασία θα πραγματοποιηθεί από τριμελείς ομάδες φοιτητών/τριών. Να αναφερθεί η συμμετοχή ενός/μιας εκάστου/ης ποσοτικά και ποιοτικά στην τεχνική περιγραφή του κειμένου. Προτεινόμενες ιστοθέσεις στα έγγραφα του μαθήματος.Οι εργασίες θα υποβληθούν από κάθε φοιτητή/τρια συνεπώς κάθε εργασία θα υποβληθεί τρεις φορές και θα φέρουν τα ονόματα και των τριών συνσυγγραφέων.
(deadline: 2014-10-07 09:59:00)
BEGIN:VALARM
TRIGGER:-PT24H
DURATION:PT10H
ACTION:DISPLAY
DESCRIPTION:DEADLINE REMINDER for 1η Εργασία (2014-2015)
END:VALARM
END:VEVENT
BEGIN:VEVENT
DTSTART:20141008T000000
DURATION:PT00H00M00S
SUMMARY:[DEADLINE] 06 / Θεωρία Συνόλων
DESCRIPTION:Θεωρείστε τα σύνολα:
Α={φυσικός x / x=2^k για k φυσικό αριθμό}
Β={φυσικός x / x πολλαπλάσιο του 4}
C={φυσικός x / x πολλαπλάσιο του 6}
(deadline: 2014-10-08 00:00:00)
BEGIN:VALARM
TRIGGER:-PT24H
DURATION:PT10H
ACTION:DISPLAY
DESCRIPTION:DEADLINE REMINDER for 06 / Θεωρία Συνόλων
END:VALARM
END:VEVENT
BEGIN:VEVENT
DTSTART:20141013T235900
DURATION:PT00H00M00S
SUMMARY:[DEADLINE] 2η Εργασία (2014-2015)
DESCRIPTION:Πόσοι ακέραιοι μεγαλύτεροι από 53000 έχουν όλα τα ψηφία τους διαφορετικά και κανένα από τα ψηφία του δεν είναι 8 ή 9;

Ένας κωδικός πρόσβασης σε υπολογιστή αποτελείται από ένα έως τρια γράμματα που επιλέγονατι από τα 24 γράμματα του αλφαβήτου. πόσοι διαφορετικοί κωδικοί πρόσβασης υπάρχουν αν επιτρέπονται οι επαναλήψεις γραμμάτων;

Κωδικοί PIN αποτελούνται από 10 γράμματα του λατινικού αλφαβήτου (26 γράμματα) και 10 αλφαριθμητικά στοιχεία (   !@#$%^&*()  ).   (α) Πόσοι κωδικοί περιέχουν επαναλαμβανόμενα σύμβολα; (β) Πόσοι κωδικοί διαθέτουν δυο τουλάχιστον διαδοχικά επαναλαμβανόμενα στοιχεία;

Πόσοι αριθμοί από το 1 έως το 1000 είναι πολλαπλάσια του 3; πόσοι είναι πολλαπλάσια του 5:

Πόσες δυαδικές "λέξεις" οκτώ ψηφίων περιέχουν τρια ακριβώς 1;

Δυο νέα φαρμακευτικά σκευάσματα θα δοκιμαστουν σε 60 ποντίκια. Το σκεύασμα Α θα χορηγηθεί σε 22 ποντίκια ενώ το Β σε 18. 20 ποντίκια δεν θα λάβουν ο σκεύασμα σε πρώτη φάση του πειράματος. Κάθε ποντίκι φέρει ένα αριθμό. Με πόσους τρόπους μπορεί να επιλεγούν οι τρεις ομάδες (σκεύασμα Α, σκεύασμα Β και όχι σκεύασμα).
Πως προσεγγίζονται αριθμοί Ν!, όταν Ν είναι πολύ μεγάλος αριθμός (Ν >> 0);


 
 
(deadline: 2014-10-13 23:59:00)
BEGIN:VALARM
TRIGGER:-PT24H
DURATION:PT10H
ACTION:DISPLAY
DESCRIPTION:DEADLINE REMINDER for 2η Εργασία (2014-2015)
END:VALARM
END:VEVENT
BEGIN:VEVENT
DTSTART:20141014T151500
DURATION:PT00H00M00S
SUMMARY:[COURSE] Λογική και Κυκλώματα
DESCRIPTION:Σύνοψη
 Τα κυκλώματα που διαθέτουν διακόπτες ροής ηλεκτρικού φορτίου, χρησιμοποιούνται σε διατάξεις που αναπαράγουν λογικές διαδικασίες για τη λήψη αποφάσεων. Στην ενότητα αυτή εξετάζονται διακόπτες αυτού του είδους, οι οποίοι καλούνται λογικοί διακόπτες. Στη συνέχεια θα  παρουσιαστούν οι μεθοδολογίες εκείνες που επιτρέπουν την κατασκευή πολύπλοκων λογικών διακοπτών με χρήση των στοιχειωδών εξ αυτών.
 
Προαπαιτούμενη γνώση:  Άλγεβρα Πινάκων, Γραμμοπράξεις,
Οδηγίες για τη μελέτη   :  Γραμμή μάθησης
 
END:VEVENT
BEGIN:VEVENT
DTSTART:20141021T000000
DURATION:PT00H00M00S
SUMMARY:[DEADLINE] 01 / Συνδυαστική
DESCRIPTION:Θεωρείστε το σύνολο των ακεραίων που ανήκουν στο Ι=[1,300].
(deadline: 2014-10-21 00:00:00)
BEGIN:VALARM
TRIGGER:-PT24H
DURATION:PT10H
ACTION:DISPLAY
DESCRIPTION:DEADLINE REMINDER for 01 / Συνδυαστική
END:VALARM
END:VEVENT
BEGIN:VEVENT
DTSTART:20141022T235900
DURATION:PT00H00M00S
SUMMARY:[DEADLINE] 3η εργασία (2014-2015)
DESCRIPTION:Πότε o όρος αΛβΛγ' αποδίδει την τιμή 1;
Να απλοποιήσετε την πρόταση F= (αVβ)Λ(α'Vγ')Λ(α'Vβ')
Να υλοποιήσετε την πρόταση του 2ου ζητήματος με πύλες NOT AND και OR. Στη συνέχεια να υλοποιήσετε την απλοποιημένη πρόταση. Να προσδιορίσετε τον αριθμό των πυλών (κατά κατηγορία) που εξεικονομούνται όταν η λογική αυτή πρόταση υλοποιηθεί
Να υλοποιήσετε σε κύκλωμα διακοπτών την πρόταση: Ο βομητής ενεργοποιείται όταν τα κλειδια είναι στη μηχανή και η πόρτα είναι ανοιχτή ή όταν τα κλειδια είναι στη μηχανή και οι ζώνες δεν είναι δεμένες, ή  όταν οι ζώνες είναι δεμένες, ή τα φώτα πορείας αναμένα και οι ζώνες δεν είναι δεμένες, ή όταν οι ζώνες είναι δεμένες και η πόρτα είναι ανοιχτή, ή όταν η πόρτα είναι ανοιχτή και τα φώτα πορείας αναμένα. 

Να εξετάσετε την ορθότητα της ισοδυναμίας  (AVB) Λ (A’VB’) = (AVB) Λ [A’V (AVB) Λ B’]


Να αποδείξετε τη σχέση  A V (AΛB) V (AΛC) V (AΛD) =A


Να απλοποιηθεί η παράσταση  F = x’ V y’ V (xΛyΛz’)


Να αποδειχθεί ότι δεν μπορεί να υπάρξει άλγεβρα Boole στο σύνολο Β={0, 1, α}.  


Να βρείτε την ισοδύναμη πρόταση  (wΛxΛyΛz) V(w’Λx’Λy’Λz’) V(w’ΛxΛy’Λz) V(wΛx’ΛyΛz’)


Να βρεθούν οι τιμές Α, Β, C και D που ικανοποιούν τις σχέσεις
 
Α’ V(ΑΛΒ) = 0

ΑΛΒ = ΒΛΑ

(ΑΛΒ) V(ΑΛC’) V(CΛD) = C’ΛD
 
Οδηγία:Στο 5ο Θέμα θα πρέπει να χρησιμοποιήσετε τον πίνακα αληθείας.
Στο 8ο θέμα θα πρέπει να εξετάσετε αν υπάρχει αντίστροφο του στοιχείου α.
Στο 9ο θέμα να επιδιώξετε η τελική μορφή να είναι όρος δύο στοιχείων.
Στο 10ο θέμα να θεωρήσετε ότι οι μεταβλητές είναι δίτιμες
Ο σχεδιασμός μπορεί να γίνει και σε χαρτί. Σχέδια που θα γίνουν σε χαρτί μπορούν να αποτυπωθούν σε αρχείο jpeg και να ενσωματωθούν στην εργασία. Σε περίπτωση που έχετε περισσότερα από ένα αρχεία, να τα συμπιέσετε σε ένα φάκελο και να υποβάλλετε το συμπιεσμένο αρχείο zip.


(deadline: 2014-10-22 23:59:00)
BEGIN:VALARM
TRIGGER:-PT24H
DURATION:PT10H
ACTION:DISPLAY
DESCRIPTION:DEADLINE REMINDER for 3η εργασία (2014-2015)
END:VALARM
END:VEVENT
BEGIN:VEVENT
DTSTART:20141029T000000
DURATION:PT00H00M00S
SUMMARY:[DEADLINE] 02 / Κυκλώματα και Διακόπτες
DESCRIPTION:Να απλοποιηθούν οι λογικές προτάσεις
(deadline: 2014-10-29 00:00:00)
BEGIN:VALARM
TRIGGER:-PT24H
DURATION:PT10H
ACTION:DISPLAY
DESCRIPTION:DEADLINE REMINDER for 02 / Κυκλώματα και Διακόπτες
END:VALARM
END:VEVENT
BEGIN:VEVENT
DTSTART:20141029T000100
DURATION:PT00H00M00S
SUMMARY:[DEADLINE] 4η εργασία (2014-2015)
DESCRIPTION:Να βρείτε τη Σύντομη Διαζευκτική Μορφή της πρότασης F= (A + C)(AD + AD') + AC + C
Να βρείτε τη Σύντομη Διαζευκτική Μορφή της πρότασης G= A'(A + B) + (B + AA)(A + B')
Να βρείτε τη Σύντομη Διαζευκτική Μορφή της πρότασης H= C + (BC)'
Να βρείτε τη Σύντομη Διαζευκτική Μορφή της πρότασης L=  X Y + X (Y + Z) + Y (Y + Z)
Να βρείτε τη Σύντομη Διαζευκτική Μορφή της πρότασης M = (XY)' (X' + Y) (X' + X)
Με χρήση του νόμου της ομοφωνίας να βρείτε τη Σ.Δ.Μ. της Z = AD+BCD+A'+C

 
Σημείωση: Στα παραπάνω Για τη διάζευξη χρησιμοποιείται το (+), για τη σύζευξη δεν χρησιμοποιείται σύβολο ( ) και για την άρνηση το σύμβολο (')
(deadline: 2014-10-29 00:01:00)
BEGIN:VALARM
TRIGGER:-PT24H
DURATION:PT10H
ACTION:DISPLAY
DESCRIPTION:DEADLINE REMINDER for 4η εργασία (2014-2015)
END:VALARM
END:VEVENT
BEGIN:VEVENT
DTSTART:20141102T235900
DURATION:PT00H00M00S
SUMMARY:[DEADLINE] 3η εργασία (2014-2015) Συμπληρωματική
DESCRIPTION: 
Στον σύνδεσμο θα βρείτε απαντήσεις που έδωσαν τα μέλη μιας ομάδας. Καλείστε να σχολιάσετε τις απαντήσεις που δόθηκαν και να προτείνετε τις απαραίτητες διορθώσεις
ΑΠΑΝΤΗΣΕΙΣ 3ης ΕΡΓΑΣΙΑΣ
Στον σχολιασμό είναι δυνατό (εφ΄όσον διαφωνείτε με την απάντηση ενός θέματος, να παραπέμπετε στο θέμα της 3ης εργασίας που υποβλήθηκε από την ομάδας σας.
(deadline: 2014-11-02 23:59:00)
BEGIN:VALARM
TRIGGER:-PT24H
DURATION:PT10H
ACTION:DISPLAY
DESCRIPTION:DEADLINE REMINDER for 3η εργασία (2014-2015) Συμπληρωματική
END:VALARM
END:VEVENT
BEGIN:VEVENT
DTSTART:20141112T000000
DURATION:PT00H00M00S
SUMMARY:[DEADLINE] 5η εργασία (2014-2015)
DESCRIPTION:Να αποδείξετε ότι κάθε όρος μιας πρότασης είναι ισοδύναμος με τη διάζευξη όλων των όρων που είναι πλήρεις και τον περιέχουν .
Να γράψετε μια διαζευκτική μορφή με εξι (6) όρους και 5 γραμματικά στοιχεία. Στη συνέχεια να εφαρμόσετε τους κατάλληλους αλγόριθμους για να προκύψει μια ισοδύναμη της αρχικής ελάχιστη μορφή.
Να βρείτε την επέκταση σε ομοφωνία της άσκησης με αριθμό 5+(ΑΕΜ)mod4 της σελίδας 81.
Να εντοπίσετε το γραμματικό στοιχείο και τον όρο σε ομοφωνία που αντιστοιχούν στους όρους (αΛβ'Λδ') και (α'ΛβΛεΛζ)

(deadline: 2014-11-12 00:00:00)
BEGIN:VALARM
TRIGGER:-PT24H
DURATION:PT10H
ACTION:DISPLAY
DESCRIPTION:DEADLINE REMINDER for 5η εργασία (2014-2015)
END:VALARM
END:VEVENT
BEGIN:VEVENT
DTSTART:20141118T230000
DURATION:PT00H00M00S
SUMMARY:[DEADLINE] 6η Εργασία (2014-2015)
DESCRIPTION:Να κατασκευαστεί κώδικας για την αποτύπωση του ελληνικού αλφαβήτου με κεφαλαία και μικρά γράμματα, και τέσσερα σημεία στήξεως.
Να αποδείξετε ότι κάθε ζεύγος κορυφών της ίδιας ομάδας ενός Κm,n  γράφου, συνδέονται μόνο με διαδρομές άρτιου μήκους.
Ποιός είναι ο βαθμός των κορυφών ενός πλήρους διμερούς γράφου Κm,n ;
Πόσες διαδρομές (χωρίς επανάληψη κορυφών) συνδέουν δυο κορυφές της ίδιας ομάδας ενός Κm,n ; Ποιό είναι το ελάχιστο και ποιό το μέγιστο μήκος αυτών;
Στον στον προσαρτημένο πίνακα που ακολουθεί,να εντοπιστεί ο συντελεστής του ψευδογραφήματος στο οποίο αντιστοιχεί.. Να σχολιασθεί ο προσαρτημένος πίνακας του συντελεστή αυτού.

 
(deadline: 2014-11-18 23:00:00)
BEGIN:VALARM
TRIGGER:-PT24H
DURATION:PT10H
ACTION:DISPLAY
DESCRIPTION:DEADLINE REMINDER for 6η Εργασία (2014-2015)
END:VALARM
END:VEVENT
BEGIN:VEVENT
DTSTART:20141126T203800
DURATION:PT00H00M00S
SUMMARY:[DEADLINE] 7η εργασία (2014-2015)
DESCRIPTION:1. Να εξηγήσετε τον κυκλικό απαριθμητή του Gray και να κατασκευάσετε τον αντίστοιχο κυκλικό δυαδικό απαριθμητή.
2. Να περιγράψετε την μέθοδο μετατροπής δυαδικού συστήματος αρίθμησης σε σύστημα αρίθμησης του Gray.
3. Να περιγράψετε την μέθοδο μετατροπής του συστήματος αρίθμησης Gray στο δυαδικό σύστημα αρίθμησης. 
4. Να δείξετε ότι το Κn περιέχει ένα κύκλωμα Hamilton ανν n είναι μεγαλύτερο ή ίσο του 3.
5. Στο σκάκι, γύρος του ίππου είναι μια ακολουθία επιτρεπτών κινήσεων του ίππου. Να δείξετε ότι η εύρεση ενός γύρου του ίππου σε σκακιέρα mxn είναι ισοδύναμη με την εύρεση κυκλώματος Hamilton στο αντίστοιχο γράφημα. 
ΑΝΑΤΥΠΑ ΤΩΝ ΣΗΜΕΙΩΣΕΩΝ ΤΟΥ ΜΑΘΗΜΑΤΟΣ ΕΔΩ (Γράφοι Euler & κυκλωματα Hamilton / Ελάχιστες Διαδρομές / Δένδρα Σύνδεσης / Επίπεδοι Γράφοι / Αλγόριθμοι Χρωματισμού Γράφων / Δίκτυα  )
(deadline: 2014-11-26 20:38:00)
BEGIN:VALARM
TRIGGER:-PT24H
DURATION:PT10H
ACTION:DISPLAY
DESCRIPTION:DEADLINE REMINDER for 7η εργασία (2014-2015)
END:VALARM
END:VEVENT
BEGIN:VEVENT
DTSTART:20150201T000000
DURATION:PT00H00M00S
SUMMARY:[DEADLINE] Εργασία 13. Έγχρωμα Δίκτυα Petri (Coloured Petri Net CPN)
DESCRIPTION: Τα έγχρωμα Δίκτυα Petri παρέχουν ένα πλαίσιο για το σχεδιασμό, την εξειδίκευση, την πιστοποίηση και την επαλήθευση της λειτουργικότητας των συστημάτων. Τα CP-nets έχουν ένα ευρύτατο φάσμα εφαρμογών και πλείστες όσες από αυτές αναπτύχθηκαν στη βιομηχανία. Αναφέρουμε για παράδειγμα τις περιοχές των πρωτοκόλλων επικοινωνίας, τα λειτουργικά συστήματα, τον σχεδιασμό συστημάτων λογισμικού, τα ολοκληρωμένα συστήματα και τα επιχειρησιακά προγράμματα re-engineering.
Οδηγίες: Τα περιεχόμενα να περιλαμβάνουν

Γενικά περί των Petri Nets
Η σημασία του χρωματισμού
Περιγραφή της λειτουργίας
1η εφαρμογή
2η εφαρμογή
3η εφαρμογή
Προτεινόμενη εφαρμογή ( να προταθεί μια νέα ιδέα για υλοποίηση με τη βοήθεια CPN )
Εμπορικά σχεδιαστικά πακέτα
Λεπτομερείς βιβλιογραφικές αναφορές

Graphical Computer Tools:  Design/CPN
Προτεινόμενη βιβλιογραφία:

http://www.lib.duth.gr/cgi-bin-EL/egwcgi/111636/search.egw/5+0?  Βιβλία και περιοδικά στην Ανάλυση Συστημάτων
http://www.lib.duth.gr/cgi-bin-EL/egwcgi/111636/search.egw/4+0?menu1=%CF%  Βιβλία στη Θεωρία Γραφημάτων
επίσης αν μπορέσεις να βρεις βιβλία σε άλλες βιβλιοθήκες όπως:

Cardoso, Janette, Heloisa Camargo. Fuzziness in Petri Nets. Physica-Verlag. ISBN 3-7908-1158-0.
Jensen, Kurt. Coloured Petri Nets. Springer Verlag. ISBN 3-540-62867-3. 
Pataricza, András (2004). Formális moódszerek az informatikában (Formal methods in informatics). TYPOTEX Kiadó. ISBN 963-9548-08-1.
Peterson, James L. (1977). "Petri Nets". ACM Computing Surveys 9 (3): 223–252.
Peterson, James Lyle. Petri Net Theory and the Modeling of Systems. Prentice Hall. ISBN 0-13-661983-5. 
Petri, Carl A. (1962). "Kommunikation mit Automaten". Ph.D. Thesis. University of Bonn.
Reisig, Wolfgang. A Primer in Petri Net Design. Springer-Verlag. ISBN 3-540-52044-9.
Riemann, Robert-Christoph. Modelling of Concurrent Systems: Structural and Semantical Methods in the High Level Petri Net Calculus. Herbert Utz Verlag. ISBN 3-89675-629-X.
Störrle, Harald. Models of Software Architecture - Design and Analysis with UML and Petri-Nets. Books on Demand. ISBN 3-8311-1330-0.
Zhou, Mengchu, Frank Dicesare. Petri Net Synthesis for Discrete Event Control of Manufacturing Systems. Kluwer Academic Publishers. ISBN 0-7923-9289-2.
Zhou, Mengchu, Kurapati Venkatesh. Modeling, Simulation, & Control of Flexible Manufacturing Systems: A Petri Net Approach. World Scientific Publishing. ISBN 981-02-3029-X.


 Object Oriented Modelling with Object Petri Nets - Lakos (1997)   (Correct)
 Modelling Network Protocols with Object Petri Nets - Lakos, Lamp, Keen, Marriott (1995)   (Correct)
 A Cooperative Editor for Hierarchical Diagrams: An Object Petri.. - Lakos (1995)   (Correct)
 The Object Orientation of Object Petri Nets - Lakos (1995)   (Correct)
A Methodology For The Construction Of Simulation Models Using.. - Keen, Lakos (1993)   (Correct)
An NF2 Relational Interface with Aggregation Capability for.. - Järvelin, Niemi   (Correct)
Coloured Petri Nets -- Basic Concepts (context) - Jensen - 1992
CO-OPN: A concurrent object-oriented Petri net approach (context) - Buchs, Guelfi - 1991
Reference Model of Open Distributed Processing -- Trading Function (context) - ISO - 1995

Αυτά είναι μερικά από τα βιβλία που βρήκα. 
 
(deadline: 2015-02-01 00:00:00)
BEGIN:VALARM
TRIGGER:-PT24H
DURATION:PT10H
ACTION:DISPLAY
DESCRIPTION:DEADLINE REMINDER for Εργασία 13. Έγχρωμα Δίκτυα Petri (Coloured Petri Net CPN)
END:VALARM
END:VEVENT
BEGIN:VEVENT
DTSTART:20150201T000000
DURATION:PT00H00M00S
SUMMARY:[DEADLINE] Εργασία 30: Ασαφή διαστήματα
DESCRIPTION:PROF. LADISLAV KOHOUT was Professor in the Department of Computer Science Florida State University, Tallahassee, Florida. He used to spend his summers in Malta, homeland of his wife. Prof. Ladislav Kohout had published a great number of papers in WSEAS and had many interesting ideas. See what BISC and NAFIPS say for him http://mybisc.blogspot.com/2009/12/i-have-just-learned-that-ladislav.html http://mybisc.blogspot.com  Ladislav Kohout (in the photo, WSEAS Congress, Malta 2005) was one of the pioneers of interval-valued fuzzy techniques.His idea of using intervals started with the observation that for each statement A, one of the known ways to estimate its degree of truth d is to ask several (n) people and take d = m/n, where m is the number of people who believe that A is true. If we have two statements A and B, we can thus estimate the degrees of truth d(A), d(B), and d(A & B) for A, for B, and for A & B. In practice,it is not feasible to ask the experts about the truth values of all possible Boolean combinations of the original statements. Thus, we must be able, e.g., given d(A) and d(B), to estimate d(A & B).If we only know the degrees d(A) and d(B), then we cannot uniquely determine p(A & B). For example, if d(A) < d(B) and all people who believe in A also believe in B, then d(A & B) = d(A) = min(d(A), d(B)). On the other hand, if people who believe in A tend not to believe in B,we can have d(A & B) = max(d(A)+d(B)-1, 0). In general, the degree d(A & B) can take any value from the interval [max(d(A)+d(B)-1, 0), min(d(A),d(B))]. It is therefore sometimes reasonable, instead of assigning a single value to d(A & B), to conclude that this wholeinterval represents our degree of believe in A & B. This is important in critical applications when we want to make only conclusions that follow from the original expert information -- Dr. Kohout himself successfully applied this idea to medical expert systems. Of course, when we switch from numbers to intervals, we increase the computational complexity of the corresponding problem. However, in many cases, Dr. Kohout was able to decrease this complexity by usingtechniques that are well known to simplify problems in physics (and in science and engineering in general) -- the technique of symmetries. In the traditional logic, & and \/ are "symmetric" in the sense that due to de Morgan rules, negation transforms & into \/ and vice versa: ~(~A &~B) = A \/ B and ~(~A \/ ~B) = A & B. In the interval-valued case, each logical operation leads, in effect, to two function corresponding to the bottom and the top of the corresponding interval. It turned out that the resulting larger class of functions has its own symmetries, and thesesymmetries help process these interval-valued degrees.
(deadline: 2015-02-01 00:00:00)
BEGIN:VALARM
TRIGGER:-PT24H
DURATION:PT10H
ACTION:DISPLAY
DESCRIPTION:DEADLINE REMINDER for Εργασία 30: Ασαφή διαστήματα
END:VALARM
END:VEVENT
BEGIN:VEVENT
DTSTART:20150201T000000
DURATION:PT00H00M00S
SUMMARY:[DEADLINE] Εργασία 29: Η πρόκληση των τεσσάρων κύβων
DESCRIPTION:Τέσσσερεις κύβοι, καθένας εκ των οποίων έχει πλευρές ΄χρωματισμένες με τέσσερα διαφορετικά χρώματα, τοποθετούνται στην σειρά. Πως πρέπει να γίνει ο χρωματισμός τους ώστε η τέσσερεις παράλληλόγραμμες πλευρές του ορθογώνιου παραλληλεπιπέδου που θα σχηματίσουν να διαθέτουν και τα τέσσερα χρώματα;
(deadline: 2015-02-01 00:00:00)
BEGIN:VALARM
TRIGGER:-PT24H
DURATION:PT10H
ACTION:DISPLAY
DESCRIPTION:DEADLINE REMINDER for Εργασία 29: Η πρόκληση των τεσσάρων κύβων
END:VALARM
END:VEVENT
BEGIN:VEVENT
DTSTART:20150318T000000
DURATION:PT00H00M00S
SUMMARY:[DEADLINE] 07 / Θεωρία Συνόλων
DESCRIPTION:(deadline: 2015-03-18 00:00:00)
BEGIN:VALARM
TRIGGER:-PT24H
DURATION:PT10H
ACTION:DISPLAY
DESCRIPTION:DEADLINE REMINDER for 07 / Θεωρία Συνόλων
END:VALARM
END:VEVENT
BEGIN:VEVENT
DTSTART:20150831T090800
DURATION:PT00H00M00S
SUMMARY:[DEADLINE] 07 / Σύνολα
DESCRIPTION:Να δείξετε ότι αν  
 
(deadline: 2015-08-31 09:08:00)
BEGIN:VALARM
TRIGGER:-PT24H
DURATION:PT10H
ACTION:DISPLAY
DESCRIPTION:DEADLINE REMINDER for 07 / Σύνολα
END:VALARM
END:VEVENT
BEGIN:VEVENT
DTSTART:20151005T122300
DURATION:PT00H00M00S
SUMMARY:[DEADLINE] 08 / Θεωρία Συνόλων
DESCRIPTION:(deadline: 2015-10-05 12:23:00)
BEGIN:VALARM
TRIGGER:-PT24H
DURATION:PT10H
ACTION:DISPLAY
DESCRIPTION:DEADLINE REMINDER for 08 / Θεωρία Συνόλων
END:VALARM
END:VEVENT
BEGIN:VEVENT
DTSTART:20151005T123500
DURATION:PT00H00M00S
SUMMARY:[DEADLINE] 09 / Θεωρία Συνόλων
DESCRIPTION:(deadline: 2015-10-05 12:35:00)
BEGIN:VALARM
TRIGGER:-PT24H
DURATION:PT10H
ACTION:DISPLAY
DESCRIPTION:DEADLINE REMINDER for 09 / Θεωρία Συνόλων
END:VALARM
END:VEVENT
BEGIN:VEVENT
DTSTART:20151007T000000
DURATION:PT00H00M00S
SUMMARY:[DEADLINE] 01 / Θεωρία Συνόλων
DESCRIPTION:Να περιγραφούν τα σύνολα
(deadline: 2015-10-07 00:00:00)
BEGIN:VALARM
TRIGGER:-PT24H
DURATION:PT10H
ACTION:DISPLAY
DESCRIPTION:DEADLINE REMINDER for 01 / Θεωρία Συνόλων
END:VALARM
END:VEVENT
BEGIN:VEVENT
DTSTART:20151007T000000
DURATION:PT00H00M00S
SUMMARY:[DEADLINE] 02 / Θεωρία Συνόλων
DESCRIPTION:Να εξετάσετε την ισχύ των σχέσεων
(deadline: 2015-10-07 00:00:00)
BEGIN:VALARM
TRIGGER:-PT24H
DURATION:PT10H
ACTION:DISPLAY
DESCRIPTION:DEADLINE REMINDER for 02 / Θεωρία Συνόλων
END:VALARM
END:VEVENT
BEGIN:VEVENT
DTSTART:20151019T072800
DURATION:PT00H00M00S
SUMMARY:[DEADLINE] Ισοδυναμία Κυκλωμάτων
DESCRIPTION:Δίνεται το κύκλωμα Α. Να βρείτε το ισοδύναμο κύκλωμα Β.
(deadline: 2015-10-19 07:28:00)
BEGIN:VALARM
TRIGGER:-PT24H
DURATION:PT10H
ACTION:DISPLAY
DESCRIPTION:DEADLINE REMINDER for Ισοδυναμία Κυκλωμάτων
END:VALARM
END:VEVENT
END:VCALENDAR