Abstract
With the increasing availability of robots and image processing systems, the automated robotic line implementations are still extensively increasing. As well, the complexity of these systems increases, which increases the demands on the determination of their function and possible analysis. For these purposes the complex robotic systems are modeled. Here, the Coloured Petri Nets were used to model the robotic sorting line. Specifically, the CPN Tools software was used to model creation, simulation, analysis and to made experiments. State space analysis was done to revelation of possible unwanted deadlocks. Furthermore, the sorting line model was used to found out the maximum number of objects that can be sorted in a defined time. As the robot manipulation time directly affects maximum number of objects in one batch, the timing procedure was created to declare robot operation dependency on types of manipulated object. The state space analysis showed that there are no unwanted deadlocks in the system. The model has been verified and declared as correct. Optimal composition and order of objects was successfully found by timed coloured Petri nets experiments.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Liu, C., Pei, Y., Cheng, L., Zeng, Q., Duan, H.: Sampling business process event logs using graph-based ranking model. Concurr. Comput. (2020)
Chen, W., Liu, H., Qi, E.: Discrete event-driven model predictive control for real-time work-in-process optimization in serial production systems. J. Manuf. Syst. 55, 132–142 (2020)
Zhang, X.-M., et al.: Networked control systems: a survey of trends and techniques. IEEE/CAA J. Autom. Sin. 7(1), 1–17 (2020)
Huang, B., Zhou, M., Wang, C., Abusorrah, A., Al-Turki, Y.: Deadlock-free supervisor design for robotic manufacturing cells with uncontrollable and unobservable events. IEEE/CAA J. Autom. Sin. 8(3), 597–605 (2021)
Pomares-Angelino, R., Lopez-Mellado, E.: Automated modelling of deadlock-free petri nets using duplicated transition labels. In: 2020 17th International Conference on Electrical Engineering, Computing Science and Automatic Control, CCE 2020, art. no. 9299169 (2020)
Jensen, K., Kristensen, L.M.: Coloured Petri Nets — Modeling and Validation of Concurrent Systems. Springer, Heidelberg (2009). https://doi.org/10.1007/b95112
van der Aalst, W.M.P., Stahl, C.: Modeling Business Processes — A Petri Net-Oriented Approach. The MIT Press, Cambridge (2011)
Christensen, S., Petrucci, L.: Modular state space analysis of coloured petri nets. In: De Michelis, G., Diaz, M. (eds.) ICATPN 1995. LNCS, vol. 935, pp. 201–217. Springer, Heidelberg (1995). https://doi.org/10.1007/3-540-60029-9_41
JARP Project. http://jarp.sourceforge.net/. Accessed 12 Feb 2021
CPN Tools – A tool for editing, simulating, and analyzing Colored Petri nets. https://cpntools.org/. Accessed 12 Feb 2021
Hino, R., Harada, M.: Development of a transportation system with multiple conveyor belts: Conditions for transportation and scheduling. Seimitsu Kogaku Kaishi/J. Jpn Soc. Precis. Eng. 78(12), 1105–1111 (2012)
Acknowledgments
The work has been supported by Funds of University of Pardubice (by project “SGS2021” No: SGS_2021_019), Czech Republic. This support is very gratefully acknowledged.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Stursa, D., Havlicek, L., Kupka, L. (2021). Robotic Sorting Line Model Using Coloured Petri Net. In: Silhavy, R. (eds) Software Engineering and Algorithms. CSOC 2021. Lecture Notes in Networks and Systems, vol 230. Springer, Cham. https://doi.org/10.1007/978-3-030-77442-4_59
Download citation
DOI: https://doi.org/10.1007/978-3-030-77442-4_59
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-77441-7
Online ISBN: 978-3-030-77442-4
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)