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
  • A deadlock recovery policy for flexible manufacturing systems with minimized traversing within Reachability Graph
2
  • A polynomial-time algorithm to obtain state machine cover of live and safe Petri nets
3
  • A process-oriented deadlock recovery policy for flexible manufacturing systems
4
  • A quick heuristic algorithm for enforcing the liveness of $S^{3}PR$ Petri nets
5
  • Alvis approach to modeling and verification of real-time systems running on single-processor environment
6
  • Challenges in application of Petri nets in manufacturing systems
7
  • Deadlock recovery for flexible manufacturing systems with exhaustive exploration of the reachability graph
8
9
  • Determinism in cyber-physical systems specified by interpreted Petri nets
10
  • Język modelowania Alvis
11
  • Minimization of SM-covers of Petri net specifications of control systems