X Window implementation of Petri net based animation for FMS | IEEE Conference Publication | IEEE Xplore