Continuous timed Petri Net model of Brayton Cycle for a gas turbine | IEEE Conference Publication | IEEE Xplore