Design and implementation of a WEB-based non-Markovian stochastic Petri net tool