Search results

Records found: 126  
Your query: Author Sysno = "^sav_un_auth 0000225^"
  1. TitlePetri net-based S3PR models of automated manufacturing systems with resources and their deadlock prevention
    Author Čapkovič František 1948- SAVINFO - Ústav informatiky SAV
    Source document Acta Polytechnica Hungarica : journal of applied sciences at Budapest Tech Hungary. Vol. 20, no. 6 (2023), p. 79-96
    CategoryADMA - Scientific papers in foreign impacted journals registered in Web of Sciences or Scopus
    Category of document (from 2022)V3 - Vedecký výstup publikačnej činnosti z časopisu
    Type of documentčlánok
    Year2023
    DOI 10.12700/APH.20.6.2023.6.5
    article

    article

  2. TitleDealing with deadlocks in industrial multi agent systems
    Author Čapkovič František 1948- SAVINFO - Ústav informatiky SAV
    Source document Future internet. Vol. 15, no. 3 (2023), art. no. 107
    CategoryADMA - Scientific papers in foreign impacted journals registered in Web of Sciences or Scopus
    Category of document (from 2022)V3 - Vedecký výstup publikačnej činnosti z časopisu
    Type of documentčlánok
    Year2023
    DOI 10.3390/fi15030107
    File nameAccessSizeDownloadedTypeLicense
    Dealing with Deadlocks in Industrial Multi Agent Systems.pdfavailable2 MB0Publisher's versionCreative Commons License CC BY 4.0
    article

    article

  3. TitleControl of deadlocked discrete-event systems using Petri nets
    Author Čapkovič František 1948- SAVINFO - Ústav informatiky SAV
    Source document Acta Polytechnica Hungarica : journal of applied sciences at Budapest Tech Hungary. Vol. 19, no. 2 (2022), p. 213-233
    CategoryADMA - Scientific papers in foreign impacted journals registered in Web of Sciences or Scopus
    Category of document (from 2022)V3 - Vedecký výstup publikačnej činnosti z časopisu
    Type of documentčlánok
    Year2022
    article

    article

  4. TitleModelling and control of resource allocation systems within discrete event systems by means of Petri nets – part 1: invariants, siphons and traps in deadlock avoidance
    Author Čapkovič František 1948- SAVINFO - Ústav informatiky SAV
    Source document Computing and informatics. Vol. 40, no. 3 (2021), p. 648-689
    CategoryADDA - Scientific papers in domestic journals registered in Current Contents Connect with IF (impacted)
    Category of document (from 2022)V3 - Vedecký výstup publikačnej činnosti z časopisu
    Type of documentčlánok
    Year2021
    DOI 10.31577/cai_2021_3_648
    URLURL link
    article

    article

  5. TitleModeling and control of discrete-event systems with partial non-determinism using Petri nets
    Author Čapkovič František 1948- SAVINFO - Ústav informatiky SAV
    Source document Acta Polytechnica Hungarica : journal of applied sciences at Budapest Tech Hungary. Vol. 17, no. 4 (2020), p. 47-66
    CategoryADMA - Scientific papers in foreign impacted journals registered in Web of Sciences or Scopus
    Category of document (from 2022)V3 - Vedecký výstup publikačnej činnosti z časopisu
    Type of documentčlánok
    Year2020
    DOI 10.12700/APH.17.4.2020.4.3
    File nameAccessSizeDownloadedTypeLicense
    Modeling and control of discrete-event systems with partial non-determinism using Petri nets.pdfNeprístupný/archív1.1 MB0Publisher's version
    article

    article

  6. TitlePetri nets at modelling and control of discrete-event systems containing nondeterminism - part 2
    Author Čapkovič František 1948- SAVINFO - Ústav informatiky SAV
    Source document Computing and informatics. Vol. 38, no. 3 (2019), p. 728-764
    CategoryADDA - Scientific papers in domestic journals registered in Current Contents Connect with IF (impacted)
    Category of document (from 2022)V3 - Vedecký výstup publikačnej činnosti z časopisu
    Type of documentčlánok
    Year2019
    DOI 10.31577/cai_2019_3_728
    URLURL link
    article

    article

  7. TitleModelling and control of flexible manufacturing systems by means of interpreted Petri nets
    Author Čapkovič František 1948- SAVINFO - Ústav informatiky SAV
    Source document Journal of Automation, Mobile Robotics and Intelligent Systems. Vol. 12, no. 4 (2018), p. 3-10
    CategoryADMB - Scientific papers in foreign non-impacted journals registered in Web of Sciences or Scopus
    Category of document (from 2022)V3 - Vedecký výstup publikačnej činnosti z časopisu
    Type of documentčlánok
    Year2019
    DOI 10.14313/JAMRIS_4-2018/21
    article

    article

  8. TitleFailures in discrete-event systems and dealing with them by means of Petri nets
    Author Čapkovič František 1948- SAVINFO - Ústav informatiky SAV
    Source document Vietnam Journal of Computer Science. Vol. 5, no. 2 (2018), p. 143-155
    CategoryADEB - Scientific papers in other foreign journals not registered in Current Contents Connect without IF (non-impacted)
    Category of document (from 2022)V3 - Vedecký výstup publikačnej činnosti z časopisu
    Type of documentčlánok
    Year2018
    DOI 10.1007/s40595-018-0110-3
    File nameAccessSizeDownloadedTypeLicense
    Failures in discrete-event systems and dealing with them by means of Petri nets.pdfavailable4.2 MB3Publisher's version
    article

    article

  9. TitleModelling and control of complex flexible manufacturing systems by means of Petri nets
    Author Čapkovič František 1948- SAVINFO - Ústav informatiky SAV
    Action CINTI 2018. 18th IEEE International Symposium on Computational Intelligence and Informatics : 21-22 November 2018 : Budapest, Hungary
    Source document 18th IEEE International Symposium on Computational Intelligence and Informatics : CINTI 2018 - Proceedings. (2018), p. 125-130. - Danvers : IEEE, 2018 / Szakál Anikó
    CategoryADMB - Scientific papers in foreign non-impacted journals registered in Web of Sciences or Scopus
    Category of document (from 2022)V3 - Vedecký výstup publikačnej činnosti z časopisu
    Type of documentčlánok
    Year2019
    DOI 10.1109/CINTI.2018.8928197
    article

    article

  10. TitlePetri nets at modelling and control of discrete-event systems containing nondeterminism - part 1
    Author Čapkovič František 1948- SAVINFO - Ústav informatiky SAV
    Source document Computing and informatics. Vol. 37, no. 5 (2018), p. 1258-1292
    CategoryADDA - Scientific papers in domestic journals registered in Current Contents Connect with IF (impacted)
    Category of document (from 2022)V3 - Vedecký výstup publikačnej činnosti z časopisu
    Type of documentčlánok
    Year2018
    DOI 10.4149/cai_2018_5_1258
    article

    article


  This site uses cookies to make them easier to browse. Learn more about how we use cookies.