CASE application of colored Petri nets to development of a distributed scheduling system | IEEE Conference Publication | IEEE Xplore