Design of embedded control systems MA Adamski, A Karatkevich, M Wegrzyn Springer, 2005 | 106 | 2005 |
VHDL generation from hierarchical Petri net specifications of parallel controllers JM Fernandes, M Adamski, AJ Proenca IEE Proceedings-Computers and Digital Techniques 144 (2), 127-137, 1997 | 102 | 1997 |
Architectural and sequential synthesis of digital devices M Adamski, AA Barkalov University of Zielona Góra Press, 2006 | 94 | 2006 |
Parallel controller synthesis using Petri nets T Kozlowski, EL Dagless, JM Saul, M Adamski IEE Proceedings-Computers and Digital Techniques 142 (4), 263-271, 1995 | 80 | 1995 |
Petri-net-based algorithms for parallel-controller synthesis K Bilinski, M Adamski, JM Saul, EL Dagless IEE Proceedings-Computers and Digital Techniques 141 (6), 405-412, 1994 | 77 | 1994 |
Parallel controller implementation using standard PLD software M Adamski FPGAs, 296-304, 1991 | 56 | 1991 |
The application of reconfigurable logic to controller design M Wegrzyn, MA Adamski, JL Monteiro Control Engineering Practice 6 (7), 879-887, 1998 | 54 | 1998 |
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 | 43 | 2017 |
Implementing a Petri net specification in a FPGA using VHDL MA Adamski, A Karatkevich, M Wegrzyn, E Soto, M Pereira Design of embedded control systems, 167-174, 2005 | 35 | 2005 |
From interpreted Petri net specification to reprogrammable logic controller design M Adamski, JL Monteiro ISIE'2000. Proceedings of the 2000 IEEE International Symposium on …, 2000 | 35 | 2000 |
Petri Nets and activity diagrams in logic controller specification-transformation and verification I Grobelna, M Grobelny, M Adamski Proceedings of the 17th International Conference Mixed Design of Integrated …, 2010 | 34 | 2010 |
Modelowanie układów sterowania dyskretnego z wykorzystaniem sieci SFC M Adamski, M Chodań Wydaw. Politechniki Zielonogórskiej, 2000 | 34 | 2000 |
Model checking of UML activity diagrams in logic controllers design I Grobelna, M Grobelny, M Adamski Proceedings of the Ninth International Conference on Dependability and …, 2014 | 31 | 2014 |
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 | 29 | 2005 |
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 | 26 | 2014 |
Design of embedded control systems using hybrid Petri nets T Hummel, W Fengler Design of Embedded Control Systems, 139-149, 2005 | 26 | 2005 |
Translation UML diagrams into Verilog G Bazydlo, M Adamski, Ł Stefanowicz 2014 7th International Conference on Human System Interactions (HSI), 267-271, 2014 | 25 | 2014 |
Hardware behavioural modelling, verification and synthesis with UML 2. x activity diagrams M Grobelny, I Grobelna, M Adamski IFAC Proceedings Volumes 45 (7), 134-139, 2012 | 24 | 2012 |
Formal reasoning in logic design of reconfigurable controllers M Adamski, J Tkacz IFAC Proceedings Volumes 45 (7), 1-6, 2012 | 24 | 2012 |
Petri nets mapping into reconfigurable logic controllers M Adamski, M Węgrzyn Electronics and Telecommunications Quarterly 55 (2), 157-182, 2009 | 24 | 2009 |