Zápis 4. stretnutia
| Vedúci pedagóg: Ing. Peter Pištek | |
| Zúčastnení členovia tímu: | Dátum: 26.10.2010 |
| Bc. Róbert Chytil | Miestnosť: D109 |
| Bc. Martin Jánoš | Čas: 17:00 - 18:00 |
| Bc. Tomáš Lőrincz | Zápisnicu vypracovali: |
| Bc. Tomáš Takács | Bc. Tomáš Lőrincz |
| Bc. Róbert Virkler | |
| Chýbajúci: - | Zápis overil: |
| Bc. Róbert Virkler |
Vyhodnotenie úloh z predchádzajúceho stretnutia
| Číslo úlohy | Úloha | Zodpovedný | Stav | Termín |
| 2.1 | SIS, MVSIS (Berkley) | MJ | prebieha | 26.10.2010 |
| 2.2 | Existujúce riešenia | RV | OK | 26.10.2010 |
| 2.5 | BDS Univ. Of Massachusets | RCh | prebieha | 26.10.2010 |
| 2.6 | Správa web. sídla | RV | prebieha | 26.10.2010 |
| 3.1 | Petriho siete, súb. formáty | RV | prebieha | 26.10.2010 |
| 3.2 | BDS, BLIF-MV | TT | prebieha | 26.10.2010 |
Pridelené úlohy
| Číslo úlohy | Úloha | Zodpovedný | Termín |
| 4.1 | PNML | RV | 2.11.2010 |
| 4.2 | Špecifikácia | TL | 2.11.2010 |
| 4.3 | Návrh riešenia | TL | 2.11.2010 |
| 4.4 | Založenie dokumentácie | MJ | 2.11.2010 |
| 4.5 | Binárne rozhodovacie stromy | RCh | 2.11.2010 |
Priebeh stretnutia
- Kontrola zápisnice z druhého stretnutia, doladenie detailov
- Každý z členov tímu oboznámil kolegov so zisteniami, ktoré zistil pri analyzovaní svojej problémovej oblasti
- Martin Jánoš dokončil analýzu ohľadne MVSIS, uviedol že táto problematika je dosť zložitá, a nemali by sme sa jej už hlbšie venovať.
- Róbert Chytil pokračoval v analýze BDS, reálne ho nevedel otestovať, tak analyzoval iba teóriu. Zistil, že pracuje na báze binárnych vyhľadávacích stromoch. Túto techniku by bolo vhodné implementovať aj do nášho projektu.
- Róbert Virkler analyzoval existujúce riešenia na vyhodnotenie Petriho sietí. Ako napr. Time Net, CPN Tools, BPEL2PN. Uviedol výhody a nevýhody spomínaných nástrojov. Ďalej zistil, že existuje univerzálny formát na zápis Petriho sietí, tzv. PIM PetriNet Integer Matrix.
- Tomáš Lőrincz našiel súborový formát na zápis Petriho sietí PNML Petri Net Markup Language. Je to univerzálny formát, spĺňa ISO štandard. Bolo by vhodné implementovať podporu aj pre tento súborový formát.
- Tomáš Takács pokračoval v analýze VIS a súborového systému BLIF-MV. Zistil, že rozdiel oproti BLIF-u je to, že podporuje aj viacúrovňové obvody a multi-hodnotové vstupy a výstupy.