Performance modelling of fuel cell systems through Petri nets | IEEE Conference Publication | IEEE Xplore