Programska izvedba zaključivanja uporabom vremenski neizrazitih Petrijevih mreža : magistarski rad - Tomac, Dražen (D. Tomac, 1998)