关注
Andrei Karatkevich
Andrei Karatkevich
在 agh.edu.pl 的电子邮件经过验证
标题
引用次数
引用次数
年份
Dynamic analysis of Petri net-based discrete systems
A Karatkevich
Springer Science & Business Media, 2007
1562007
Design of embedded control systems
MA Adamski, A Karatkevich, M Wegrzyn
Springer, 2005
1092005
Prototyping of concurrent control systems with application of Petri nets and comparability graphs
R Wiśniewski, A Karatkevich, M Adamski, A Costa, L Gomes
IEEE Transactions on Control Systems Technology 26 (2), 575-586, 2017
432017
Detection of deadlocks and traps in Petri nets by means of Thelen's prime implicant method
A Węgrzyn, A Karatkevich, J Bieganowski
International Journal of Applied Mathematics and Computer Science 14 (1 …, 2004
412004
The influence of functional decomposition on modern digital design process
MA Adamski, A Karatkevich, M Wegrzyn, M Rawski, T Łuba, Z Jachna, ...
Design of Embedded Control Systems, 193-204, 2005
362005
Challenges in application of Petri nets in manufacturing systems
I Grobelna, A Karatkevich
Electronics 10 (18), 2305, 2021
332021
Determinism in cyber-physical systems specified by interpreted Petri nets
R Wisniewski, I Grobelna, A Karatkevich
Sensors 20 (19), 5565, 2020
272020
Design of embedded control systems using hybrid Petri nets
T Hummel, W Fengler
Design of Embedded Control Systems, 139-149, 2005
272005
Application of comparability graphs in decomposition of Petri nets
R Wiśniewski, A Karatkevich, M Adamski, D Kur
2014 7th International Conference on Human System Interactions (HSI), 216-220, 2014
262014
A polynomial-time algorithm to obtain state machine cover of live and safe Petri nets
AG Karatkevich, R Wiśniewski
IEEE Transactions on Systems, Man, and Cybernetics: Systems 50 (10), 3592-3597, 2019
232019
Finite state machine implementation in FPGAs
MA Adamski, A Karatkevich, M Wegrzyn, H Kubátová
Design of Embedded Control Systems, 175-184, 2005
212005
Structuring mechanisms in Petri net models: From specification to FPGA-based implementations
MA Adamski, A Karatkevich, M Wegrzyn, L Gomes, JP Barros, A Costa
Design of embedded control systems, 153-166, 2005
202005
Hierarchical Petri nets for digital controller design
MA Adamski, A Karatkevich, M Wegrzyn, G Andrzejewski
Design of embedded control systems, 27-36, 2005
172005
Decomposition of distributed edge systems based on the Petri nets and linear algebra technique
R Wiśniewski, A Karatkevich, M Wojnakowski
Journal of Systems Architecture 96, 20-31, 2019
162019
Deadlock detection in Petri nets: one trace for one deadlock?
A Karatkevich, I Grobelna
2014 7th International Conference on Human System Interactions (HSI), 227-231, 2014
152014
On macroplaces in Petri nets
A Karatkevich
Proceedings of IEEE East-West Design & Test Symposium (EWDTS'08), 418-422, 2008
152008
Deadlock Analysis in Statecharts.
A Karatkevich
FDL, 414-425, 2003
152003
Formal logic design of reprogrammable controllers
MA Adamski, A Karatkevich, M Wegrzyn, M Adamski
Design of embedded control systems, 15-26, 2005
142005
On algorithms for decyclisation of oriented graphs
A Karatkevich
Proc. Int. Workshop on Discrete-Event System Design, DESDes 1, 35-40, 2001
122001
Analysis by Solving Logical Equations—Calculation of Siphons and Traps
A Karatkevich
Dynamic Analysis of Petri Net-Based Discrete Systems, 87-93, 2007
102007
系统目前无法执行此操作,请稍后再试。
文章 1–20