Tarafından Programlar petrineteditor.sf.net

Ulaşılabilirlik ağaçları ve Markov grafikleri oluşturma, simülasyon istatistikleri simüle ve toplama sağlayan stokastik Petri-nets için bir editör.2010 yılında Kiev Politeknik Enstitüsü'nde "Bilgisayar simülasyonu"