Abstract
A formal approach is proposed for planning a team of mobile robots such that no collision occurs and tasks represented by a Boolean specification are satisfied. It should be specially noted that the order, by which the given tasks are executed, is taken into account by the specification. First, a team of mobile robots and their environment are modeled as a Petri net (PN). Second, a method is presented to design place nodes enforcing a given specification on the PN model. Consequently, the resultant PN can be used to model the robot team’s behaviors that satisfy the specification. Third, an optimal problem, minimizing the total traveling distance that the robots take to perform given tasks, is formulated as an integer linear programming (ILP) problem via the PN model. By solving the ILP problem, the optimal action sequence is obtained, which actually means an optimal strategy to schedule robots.
This work was supported in part by National Science Foundation of China under Grant No. 61973130, 61573158 and 61773343, and Natural Science Foundation of FuJian Province of China under Grant 2014J01241.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Basile, F., Cordone, R., Piroddi, L.: A branch and bound approach for the design of decentralized supervisors in Petri net models. Automatica 52, 322–333 (2015)
Ding, X., Kloetzer, M., Chen, Y., Belta, C.: Automatic deployment of robotic teams. IEEE Robot. Autom. Mag. 18(3), 75–86 (2011)
Giua, A., Silva, M.: Petri nets and automatic control: a historical perspective. Annu. Rev. Control 45, 223–239 (2018)
Guo, M., Tumova, J., Dimarogonas, D.V.: Cooperative decentralized multi-agent control under local LTL tasks and connectivity constraints. In: Proceedings of the 53rd IEEE Conference on Decision and Control, Los Angeles, CA, USA, pp. 75–80 (2014)
IBM: IBM ILOG CPLEX optimization studio (2016). https://www.ibm.com/analytics/cplex-optimizer
Iordache, M.V., Antsaklis, P.J.: Petri nets and programming: a survey. In: Proceedings of American Control Conference, St. Louis, MO, USA, pp. 4994–4999, 10–12 June 2009. https://doi.org/10.1109/ACC.2009.5159987
Kloetzer, M., Mahulea, C.: LTL-based planning in environments with probabilistic observations. IEEE Trans. Autom. Sci. Eng. 12(4), 1407–1420 (2015)
Li, Z.W., Zhou, M.C., Wu, N.Q.: A survey and comparision on Petri net-based deadlock prevention control policies for flexible manufacturing systems. IEEE Trans. Syst. Man Cybern. Part C Appl. Rev. 38(2), 173–188 (2008)
Luo, J., Wan, Y., Wu, W., Li, Z.: Optimal Petri-net controller for avoiding collisions in a class of automated guided vehicle systems. IEEE Trans. Intell. Transp. Syst. 21, 1–12 (2019). https://doi.org/10.1109/TITS.2019.2937058
Luo, J., Wu, W., Zhou, M., Shao, H., Nonami, K., Su, H.: Structural controller for logical expression of linear constraints on Petri nets. IEEE Trans. Autom. Control 65, 1 (2019). https://doi.org/10.1109/TAC.2019.2918052
Luo, J., Zhou, M.: Petri-net controller synthesis for partially controllable and observable discrete event systems. IEEE Trans. Autom. Control 62(3), 1301–1313 (2017). https://doi.org/10.1109/TAC.2016.2586604
Ma, H., Koenig, S.: Optimal target assignment and path finding for teams of agents (2016)
Ma, Z., Li, Z., Giua, A.: Design of optimal Petri net controllers for disjunctive generalized mutual exclusion constraints. IEEE Trans. Autom. Control 60, 1774–1785 (2015)
Mahulea, C., Kloetzer, M.: Robot planning based on Boolean specifications using Petri net models. IEEE Trans. Autom. Control 63(7), 2218–2225 (2018)
Kloetzer, M., Mahulea, C.: A Petri net based approach for multi-robot path planning. Discrete Event Dyn. Syst. 24(4), 417–445 (2013). https://doi.org/10.1007/s10626-013-0162-6
Moody, J.O., Antsaklis, P.J.: Petri net supervisors for DES with uncontrollable and unobservable transitions. IEEE Trans. Autom. Control 45(3), 462–476 (2000)
Purcaru, C., Precup, R., Iercan, D., Fedorovici, L., Petriu, E.M., Voisan, E.: Multi-robot GSA- and PSO-based optimal path planning in static environments. In: Proceedings of the 9th International Workshop on Robot Motion and Control, pp. 197–202 (2013). https://doi.org/10.1109/RoMoCo.2013.6614608
Shibata, T., Fukuda, T.: Coordinative behavior in evolutionary multi-agent system by genetic algorithm. In: IEEE International Conference on Neural Networks, vol. 1, pp. 209–214 (1993). https://doi.org/10.1109/ICNN.1993.298558
Warren, C.W.: Multiple robot path coordination using artificial potential fields. In: IEEE International Conference on Robotics and Automation, Cincinnati, OH, USA, pp. 500–505 (1990)
Yu, J., LaValle, S.M.: Multi-agent path planning and network flow (2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Zhang, H., Luo, J., Long, J., Huang, Y., Wu, W. (2020). Multi-robot Path Planning Using Petri Nets. In: Ben Hedia, B., Chen, YF., Liu, G., Yu, Z. (eds) Verification and Evaluation of Computer and Communication Systems. VECoS 2020. Lecture Notes in Computer Science(), vol 12519. Springer, Cham. https://doi.org/10.1007/978-3-030-65955-4_2
Download citation
DOI: https://doi.org/10.1007/978-3-030-65955-4_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-65954-7
Online ISBN: 978-3-030-65955-4
eBook Packages: Computer ScienceComputer Science (R0)