Priority-Based Distributed Manufacturing Process Modeling via Hierarchical Timed Color Petri Net | IEEE Journals & Magazine | IEEE Xplore