Nabil Sadou Romaric Guillerm Hamid Demmou ESA PetriNet: Petri net Based Tool for Reliability Analysis. 4740-4745 2009 SMC conf/smc/2009 db/conf/smc/smc2009.html#SadouGD09 https://doi.org/10.1109/ICSMC.2009.5346090