All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Robotic Sorting Line Model using Coloured Petri Net

The result's identifiers

  • Result code in 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>

  • Result on the web

    <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>

Alternative languages

  • Result language

    angličtina

  • Original language name

    Robotic Sorting Line Model using Coloured Petri Net

  • Original language description

    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.

  • Czech name

  • Czech description

Classification

  • Type

    D - Article in proceedings

  • CEP classification

  • OECD FORD branch

    20204 - Robotics and automatic control

Result continuities

  • Project

  • Continuities

    S - Specificky vyzkum na vysokych skolach

Others

  • Publication year

    2021

  • Confidentiality

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Data specific for result type

  • Article name in the collection

    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

  • Number of pages

    18

  • Pages from-to

    709-717

  • Publisher name

    Springer Nature Switzerland AG

  • Place of publication

    Cham

  • Event location

    ONLINE

  • Event date

    Apr 1, 2021

  • Type of event by nationality

    WRD - Celosvětová akce

  • UT code for WoS article