Fecarotti, C., & Andrews, J. (in press). Performance modelling of fuel cell systems through Petri nets