On the calculation of transfer function of timed event Petri nets | IEEE Conference Publication | IEEE Xplore