EA15: Színezett Petri hálók (1. rész)
Semester:
2013. tavasz
- A színezett Petri hálók (CPN) alapjai
-
Egyszerű protokoll CPN modellje
- Az "Egyszerű protokoll CPN modellje" példához további dokumentációt találhatunk angol nyelven itt
-
Elosztott adatbázis CPN modellje
- Az "Elosztott adatbázis CPN modellje" példához további dokumentációt találhatunk angol nyelven itt
-
A Design/CPN modellező eszköz tulajdonságai
- Dinamikus analízis lehetőségei
- Invariánsok
