Modeling and analysis of discrete event systems using a Petri net component | IEEE Conference Publication | IEEE Xplore