GitHub repository: oris-tool/sirio
Primary language: Java
Description: The Sirio library for the analysis of stochastic time Petri nets