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

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