Robotic Sorting Line Model using Coloured Petri Net

Show simple item record

dc.contributor.author Štursa, Dominik cze
dc.contributor.author Havlíček, Libor cze
dc.contributor.author Kupka, Libor cze
dc.date.accessioned 2022-06-03T12:08:13Z
dc.date.available 2022-06-03T12:08:13Z
dc.date.issued 2021 eng
dc.identifier.isbn 978-3-030-77441-7 eng
dc.identifier.issn 2367-3370 eng
dc.identifier.uri https://hdl.handle.net/10195/79008
dc.description.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. eng
dc.format p. 709-717 eng
dc.language.iso eng eng
dc.publisher Springer Nature Switzerland AG eng
dc.relation.ispartof Software Engineering and Algorithms : proceedings of 10th Computer Science On-line Conference 2021, Vol. 1 eng
dc.rights open access (green) eng
dc.subject colored petri net eng
dc.subject modeling eng
dc.subject sorting line eng
dc.subject barevná Petriho síť cze
dc.subject modelování cze
dc.subject třídicí linka cze
dc.title Robotic Sorting Line Model using Coloured Petri Net eng
dc.title.alternative Model robotické třídicí linky s použitím barevné Petriho sítě cze
dc.type ConferenceObject eng
dc.description.abstract-translated S rostoucí dostupností robotů a systémů pro zpracování obrazu se stále rozšiřuje počet automatizovaných robotických linek. Stejně tak se zvyšuje složitost těchto systémů, což zvyšuje nároky na určení jejich funkce a případnou analýzu. Pro tyto účely jsou složité robotické systémy modelovány. Zde byly k modelování robotické třídicí linky použity barevné Petriho sítě. Konkrétně byl k vytvoření modelu, simulaci, analýze a k provedení experimentů použit software CPN Tools. Analýza stavového prostoru byla provedena za účelem odhalení možných nežádoucích deadlocků. Dále byl model třídicí linky použit ke zjištění maximálního počtu objektů, které lze vytřídit za definovaný čas. Protože doba manipulace robota přímo ovlivňuje maximální počet objektů v jedné dávce, byl vytvořen postup časování, který deklaruje závislost operace robota na typech manipulovaných objektů. Analýza stavového prostoru ukázala, že v systému nedochází k nežádoucím deadlockům. Model byl ověřen a prohlášen za správný. Optimální složení a pořadí objektů bylo úspěšně nalezeno pomocí experimentů s časovanými barevnými Petriho sítěmi. cze
dc.event 10th Computer Science Online Conference, CSOC 2021 (01.04.2021 - 01.04.2021, ONLINE) eng
dc.peerreviewed yes eng
dc.publicationstatus postprint eng
dc.identifier.doi 10.1007/978-3-030-77442-4_59 eng
dc.project.ID SGS_2021_019/Výzkum a vývoj metod umělé inteligence, strojového učení a matematicko-statistických technik pro inženýrské aplikace eng
dc.identifier.scopus 2-s2.0-85113382094
dc.identifier.obd 39886538 eng


This item appears in the following Collection(s)

Show simple item record

Search DSpace


Advanced Search

Browse

My Account