A GSPN based tool to inference Generalized Continuous Time Bayesian Networks

We present a software tool for the analysis of Generalized Continuous Time Bayesian Networks (GCTBN) which ex- tend CTBN introducing in addition to continuous time de- layed variables, non delayed or \immediate" variables whose evolution is conditionally and immediately determined by the values of other variables in the model. The tool is based on the conversion of a GCTBN model into a Generalized Stochastic Petri Nets (GSPN) which is an actual mean to perform the inference (analysis) of the GCTBN.