Wykaz publikacji wybranego autora

Andrei Karatkevich, prof. dr hab. inż.

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 ResearcherID: B-1403-2015 Scopus: 8410478100 PBN: 5e70925b878c28a047394558	System Informacyjny AGH (SkOs)

Identyfikatory Autora

Informacje o Autorze w systemach zewnętrznych

ORCID: 0000-0002-5011-8248 orcid iD

ResearcherID: B-1403-2015

Scopus: 8410478100

PBN: 5e70925b878c28a047394558

sortowanie:

1

A polynomial-time algorithm to obtain state machine cover of live and safe Petri nets / Andrei G. KARATKEVICH, Remigiusz Wiśniewski // IEEE Transactions on Systems, Man, and Cybernetics ; ISSN 2168-2216. Systems. — 2020 vol. 50 no. 10 pt. 1, s. 3592–3597. — Bibliogr. s. 3596–3597, Abstr.. — Publikacja dostępna online od: 2019-02-12. — tekst: https://ieeexplore-1ieee-1org-1000047610016.wbg2.bg.agh.edu.pl/stamp/stamp.jsp?tp=&arnumber=8640856
- słowa kluczowe
- DOI
keywords: Petri nets, concurrency, formal models, logic controllers, discrete systems

cyfrowy identyfikator dokumentu: 10.1109/TSMC.2019.2894778

2

Alvis approach to modeling and verification of real-time systems running on single-processor environment / Marcin SZPYRKA, Jarosław BANIEWICZ, Andrei KARATKEVICH // IEEE Access [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2169-3536. — 2022 vol. 10, s. 104178–104189. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 104188–104189, Abstr.. — Publikacja dostępna online od: 2022-09-26. — tekst: https://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=9903617
keywords: system verification, Alvis language, discrete time systems, formal languages, system analysis and design, single processor hardware

Zobacz pełny wykaz publikacji Autora/Autorów: Marcin Szpyrka, Jarosław Baniewicz

cyfrowy identyfikator dokumentu: 10.1109/ACCESS.2022.3210191

3

Challenges in application of Petri nets in manufacturing systems / Iwona Grobelna, Andrei KARATKEVICH // Electronics [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 2079-9292. — 2021 vol. 10 iss. 18 art. no. 2305, s. 1–24. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 19–24, Abstr.. — Publikacja dostępna online od: 2021-09-19. — tekst: https://www.mdpi.com/2079-9292/10/18/2305/pdf
- słowa kluczowe
- DOI
keywords: Petri nets, control systems, Industry 4.0, automation systems

cyfrowy identyfikator dokumentu: 10.3390/electronics10182305

4

Decomposition of distributed edge systems based on the Petri nets and linear algebra technique / R. Wiśniewski, A. KARATKEVICH, Ł. Stefanowicz, M. Wojnakowski // Journal of Systems Architecture ; ISSN 1383-7621. — 2019 vol. 96, s. 20–31. — Bibliogr. s. 30–31, Abstr.. — Publikacja dostępna online od: 2019-03-20. — tekst: https://www-1sciencedirect-1com-10000275801a6.wbg2.bg.agh.edu.pl/science/article/pii/S1383762118303357/pdfft?md5=94f7367e8bfb2ea22660180906799897&pid=1-s2.0-S1383762118303357-main.pdf
- słowa kluczowe
- DOI
keywords: distributed system, decomposition, edge computing, Petri net

cyfrowy identyfikator dokumentu: 10.1016/j.sysarc.2019.01.015

5

Determinism in cyber-physical systems specified by interpreted Petri nets / Remigiusz Wiśniewski, Iwona Grobelna, Andrei KARATKEVICH // Sensors [Dokument elektroniczny]. — Czasopismo elektroniczne ; ISSN 1424-8220. — 2020 vol. 20 iss. 19 art. no. 5565, s. 1–22. — Wymagania systemowe: Adobe Reader. — Bibliogr. s. 19–22, Abstr.. — Publikacja dostępna online od: 2020-09-28. — tekst: https://www.mdpi.com/1424-8220/20/19/5565/pdf
- słowa kluczowe
- DOI
keywords: Petri nets, control systems, determinism, control logic, cyber physical systems

cyfrowy identyfikator dokumentu: 10.3390/s20195565