Tanszéki konzulens: 

Vörös András doktorandusz Szoba: IB421

A PetriDotNet modellellenőrző keretrendszer fejlődik, amely során egyre újabb verziók jönnek ki. A hallgató feladata egy olyan automatikus letöltő rendszer elkészítése, amely képes automatikusan frissíteni egy újabb verzióra, továbbá lehetővé teszi a különböző modulok külön-külön, vagy egyben történő letöltését.

A fejlesztés .Net alapokon történik, a hallgató először megtervezi, majd elkészíti a megfelelő funkciókkal rendelkező szoftvert.

Az érdeklődő hallgatónak ajánljuk, hogy látogassa meg a keretrendszer honlapját, ahol az eddig elkészült eszköz letölthető, kipróbálható: https://www.inf.mit.bme.hu/research/tools/petridotnet