Petri nets for modelling and evaluating deterministic and stochastic manufacturing systems | IEEE Conference Publication | IEEE Xplore