A* search algorithm in reachability graphs of place-timed Petri nets for Robotic Cellular Manufacturing systems. It can deal with the nets with tokens' remaining times, alternative routings, generalized arcs, and multiple resource copies.
They are developed via C#.
For more information about its procedures, please refer to:
[1] Bo Huang, MengChu Zhou, XiaoYu Sean Lu, and Abdullah Abusorrah. Scheduling of Resource Allocation Systems with Timed Petri Nets: A Survey. ACM Computing Surveys, Feb. 2023, 55(11): 1-27.
[2] Bo Huang, MengChu Zhou, Abdullah Abusorrah, Khaled Sedraoui. Scheduling Robotic Cellular Manufacturing Systems with Timed Petri Net, A* Search and Admissible Heuristic Function. IEEE Transactions on Automation Science and Engineering, Jan. 2022, 19(1): 243-250.
If you have any question about it, please feel free to contact me.
Bo Huang, email: [email protected]
March 16, 2020.