Wykaz publikacji wybranego autora

Andrei Karatkevich, prof. dr hab. inż.

profesor nadzwyczajny

Wydział Elektrotechniki, Automatyki, Informatyki i Inżynierii Biomedycznej
WEAIiIB-kis, Katedra Informatyki Stosowanej

  • 2018

    [dyscyplina 1] dziedzina nauk inżynieryjno-technicznych / informatyka techniczna i telekomunikacja

Identyfikatory Autora Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0002-5011-8248 orcid iD

ResearcherID: B-1403-2015

Scopus: 8410478100

PBN: 5e70925b878c28a047394558

System Informacyjny AGH (SkOs)

Liczba pozycji spełniających powyższe kryteria selekcji: 11, z ogólnej liczby 11 publikacji Autora

1
  • [referat, 2022]
  • TytułA deadlock recovery policy for flexible manufacturing systems with minimized traversing within Reachability Graph
    AutorzyIwona Grobelna, Andrei KARATKEVICH
    ŹródłoINFOTEH [Dokument elektroniczny] : 2022 21textsuperscript{st} international symposium INFOTEH-JAHORINA (INFOTEH) : March 16–18, 2022, Jahorina, East Sarajevo, Republic of Srpska, Bosnia and Herzegovina : proceedings. — [Piscataway] : IEEE, cop. 2022. — S. 1–[6]
2
3
  • [referat, 2022]
  • TytułA process-oriented deadlock recovery policy for flexible manufacturing systems
    AutorzyAndrei KARATKEVICH, Iwona Grobelna
    ŹródłoICARCV 2022 [Dokument elektroniczny] : the 17textsuperscript{th} International Conference on Control, Automation, Robotics and Vision : December 11-13, 2022, Singapore / Nanyang Technological University, Singapore. — [Piscataway] : IEEE, cop. 2022. — S. 545-552
4
  • [referat, 2023]
  • TytułA quick heuristic algorithm for enforcing the liveness of $S^{3}PR$ Petri nets
    AutorzyAndrei KARATKEVICH, Iwona Grobelna
    ŹródłoINFOTEH [Dokument elektroniczny] : 2023 22textsuperscript{nd} international symposium INFOTEH-JAHORINA (INFOTEH) : March 15–17, 2023, Jahorina, East Sarajevo, Republic of Srpska, Bosnia and Herzegovina : proceedings / University of East Sarajevo. Faculty of Electrical Engineering, [etc.]. — [Piscataway] : IEEE, cop. 2023. — S. 1-6
5
  • [artykuł w czasopiśmie, 2022]
  • TytułAlvis approach to modeling and verification of real-time systems running on single-processor environment
    AutorzyMarcin SZPYRKA, Jarosław BANIEWICZ, Andrei KARATKEVICH
    ŹródłoIEEE Access [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2022 vol. 10, s. 104178–104189. — tekst: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9903617
6
  • [przegląd , 2021]
  • TytułChallenges in application of Petri nets in manufacturing systems
    AutorzyIwona Grobelna, Andrei KARATKEVICH
    ŹródłoElectronics [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2021 vol. 10 iss. 18 art. no. 2305, s. 1–24. — tekst: https://www.mdpi.com/2079-9292/10/18/2305/pdf
7
  • [referat, 2023]
  • TytułDeadlock recovery for flexible manufacturing systems with exhaustive exploration of the reachability graph
    AutorzyIwona Grobelna, Andrei KARATKEVICH
    Źródło2023 IEEE 17th international conference on the Experience of Designing and Application of CAD Systems (CADSM) [Dokument elektroniczny] : 22–25 February 2023 : conference proceedings / Lviv Polytechnic National University, [etc.]. — Danvers : IEEE, cop. 2023. — S. [1–5]
8
9
  • [artykuł w czasopiśmie, 2020]
  • TytułDeterminism in cyber-physical systems specified by interpreted Petri nets
    AutorzyRemigiusz Wiśniewski, Iwona Grobelna, Andrei KARATKEVICH
    ŹródłoSensors [Dokument elektroniczny]. — Czasopismo elektroniczne. — 2020 vol. 20 iss. 19 art. no. 5565, s. 1–22. — tekst: https://www.mdpi.com/1424-8220/20/19/5565/pdf
10
  • [fragment monografii pokonferencyjnej, 2022]
  • TytułJęzyk modelowania Alvis
    AutorzyMarcin SZPYRKA, Michał WYPYCH, Andrei KARATKEVICH, Konrad ZAWORSKI
    ŹródłoNauka – technika – technologia : seria wydawnicza AGH, T. 4. — Kraków : Wydawnictwa AGH, 2022. — S. 135–144
11
  • [referat, 2019]
  • TytułMinimization of SM-covers of Petri net specifications of control systems
    AutorzyAndrei KARATKEVICH, Łukasz Stefanowicz
    ŹródłoMIXDES 2019 : Mixed Design of integrated circuits and systems : Rzeszów, Poland, June 27–29, 2019 : book of abstracts of 26textsuperscript{th} international conference / ed. by Andrzej Napieralski. — Łódź : Department of Microelectronics and Computer Science. Lodz University of Technology, cop. 2019. — S. 132