Search results
Title Petri 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 Category ADMA - 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 Year 2023 DOI 10.12700/APH.20.6.2023.6.5 Title Dealing 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 Category ADMA - 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 Year 2023 DOI 10.3390/fi15030107 File name Access Size Downloaded Type License Dealing with Deadlocks in Industrial Multi Agent Systems.pdf available 2 MB 0 Publisher's version CC BY 4.0
Title Control 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 Category ADMA - 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 Year 2022 Title Modelling 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 Category ADDA - 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 Year 2021 DOI 10.31577/cai_2021_3_648 URL URL link File name Access Size Downloaded Type License Modelling and control of resource allocation systems within discrete event systems by means of Petri nets – part 1.pdf available 2.7 MB 1 Publisher's version Title Modeling 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 Category ADMA - 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 Year 2020 DOI 10.12700/APH.17.4.2020.4.3 File name Access Size Downloaded Type License Modeling and control of discrete-event systems with partial non-determinism using Petri nets.pdf Neprístupný/archív 1.1 MB 0 Publisher's version Title Petri 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 Category ADDA - 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 Year 2019 DOI 10.31577/cai_2019_3_728 URL URL link File name Access Size Downloaded Type License Petri nets at modelling and control of discrete-event systems containing nondeterminism - part 2.pdf available 3.4 MB 1 Publisher's version Title Modelling 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 Category ADMB - 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 Year 2019 DOI 10.14313/JAMRIS_4-2018/21 Title Failures 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 Category ADEB - 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 Year 2018 DOI 10.1007/s40595-018-0110-3 File name Access Size Downloaded Type License Failures in discrete-event systems and dealing with them by means of Petri nets.pdf available 4.2 MB 3 Publisher's version Title Modelling 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ó Category ADMB - 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 Year 2019 DOI 10.1109/CINTI.2018.8928197 Title Petri 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 Category ADDA - 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 Year 2018 DOI 10.4149/cai_2018_5_1258 File name Access Size Downloaded Type License Petri nets at modelling and control of discrete-event systems containing nondeterminism - part 1.pdf available 2.5 MB 1 Publisher's version