Teaching system modelling and simulation through Petri Nets and Arena | IEEE Conference Publication | IEEE Xplore