Robotic Sorting Line Model using Coloured Petri Net
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216275%3A25530%2F21%3A39918036" target="_blank" >RIV/00216275:25530/21:39918036 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1007/978-3-030-77442-4_59" target="_blank" >http://dx.doi.org/10.1007/978-3-030-77442-4_59</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-030-77442-4_59" target="_blank" >10.1007/978-3-030-77442-4_59</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Robotic Sorting Line Model using Coloured Petri Net
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Robotic Sorting Line Model using Coloured Petri Net
Popis výsledku anglicky
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.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
—
OECD FORD obor
20204 - Robotics and automatic control
Návaznosti výsledku
Projekt
—
Návaznosti
S - Specificky vyzkum na vysokych skolach
Ostatní
Rok uplatnění
2021
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Údaje specifické pro druh výsledku
Název statě ve sborníku
Software Engineering and Algorithms : proceedings of 10th Computer Science On-line Conference 2021, Vol. 1
ISBN
978-3-030-77441-7
ISSN
2367-3370
e-ISSN
—
Počet stran výsledku
18
Strana od-do
709-717
Název nakladatele
Springer Nature Switzerland AG
Místo vydání
Cham
Místo konání akce
ONLINE
Datum konání akce
1. 4. 2021
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—