Supply chain configuration modeling based on colored Petri-nets | IEEE Conference Publication | IEEE Xplore