Development of an environment for distributed colored timed Petri nets | IEEE Conference Publication | IEEE Xplore