Intrinsically live structures in process and resource-oriented Petri nets modeling automated manufacturing systems | IEEE Conference Publication | IEEE Xplore