Performance analysis of supply chains using discrete event systems formalisms | IEEE Conference Publication | IEEE Xplore