| 1 |
Petri Nets
- Introduction to place/transition Petri Nets
- Enabling and firing rules
- Concurrency, synchronization
- Determinism, safeness, boundedness
- Liveness, reachability
|
|
| 2 |
Petri Nets
- Marking vector, capacitance vector
- Incidence matrix
- Algebraic representation
- Discrete event-based system models
- Simulation of verification of simple protocols |
Review last week and Glance this week’s topics from the lecture |
| 3 |
Colored Petri Nets
- Introduction to high level Petri Nets
- Timed Petri Nets
- Functional Modeling and Analysis methods |
Review last week and Glance this week’s topics from the lecture |
| 4 |
Colored Petri Nets
- Discrete event-based system models
- Simulation and verification of simple protocols
- Project #1 Assignment (Petri Nets) |
Review last week and Glance this week’s topics from the lecture |
| 5 |
Traffic Flow Control Protocols
- Modeling the Leaky Bucket Algorithm
- Single Arrival/Single Departure Model
- Multiple Arrival/Single Departure Model
- Modeling the Token Bucket Algorithm
- Single Arrival/Single Departures Model
- Multiple Arrivals/Single Departures Model
|
Review last week and Glance this week’s topics from the lecture |
| 6 |
Error Control Protocols
- Modeling Stop and Wait
- Performance of Stop and Wait
- Modeling Go Back N
- Performance of Go Back N
- Modeling Selective-Repeat
- Performance Selective-Repeat
|
Review last week and Glance this week’s topics from the lecture |
| 7 |
Medium Access Control Protocols
- IEEE 802.1p Model Assumptions
- IEEE 802.1p State Transition Diagram
- IEEE 802.1p Protocol Performance
- IEEE 802.3 (CSMA/CD) Model Assumptions
- IEEE 802.3 (CSMA/CD) State Transition Diagram
- IEEE 802.3 (CSMA/CD) Protocol Performance
- Aloha and Slotted Aloha
- Performance comparison of Aloha and Slotted Aloha
|
Review last week and Glance this week’s topics from the lecture |
| 8 |
Switching and Routing
- Time Division Multiple Access (TDMA)
- Circuit Switching and Packet Switching
- Hub, Bridge, Switch, Router, Gateway
- Routing and Traffic Management
- Project #2 (Omnet++) Assignment
|
Review last week and Glance this week’s topics from the lecture |
| 9 |
Markov Chains
- Discrete-TimeMarkov Chains
- Memoryless Property of Markov Chains
- Markov Chain Transition Matrix
- Markov Matrices
|
Review last week and Glance this week’s topics from the lecture |
| 10 |
Markov Chains
- Eigenvalues and Eigenvectors
- Constructing the State Transition Matrix
- Introduction to reducible Markov Chains
- Introduction to Periodic Markov Chains
|
Review last week and Glance this week’s topics from the lecture |
| 11 |
Introduction to Queuing Theory
- M/M/1 Queue
- M/M/1/B Queue
- Mm/M/1/B Queue
|
Review last week and Glance this week’s topics from the lecture |
| 12 |
Introduction to Queuing Theory
- M/Mm/1/B Queue
- The D/M/1/B Queue
- The M/D/1/B Queue
- Project #3 Assignment
|
Review last week and Glance this week’s topics from the lecture |
| 13 |
Project Presentation and Assessment Week-1 |
Review last week and Glance this week’s topics from the lecture |
| 14 |
Project Presentation and Assessment Week-2 |
Review last week and Glance this week’s topics from the lecture |
| 15 |
Final examination period |
Review of topics |
| 16 |
Dönem sonu sınav çalışmaları |
Review of topics |
