author-photo

M. Adamski

University of Zielona Góra

10

Papers

305

Citations

Citation Trend

Filter By

Papers (7) Sort By

Journal Conference Others

Model Checking of UML Activity Diagrams in Logic Controllers Design

2014 RELCOMEX | DepCoS-RELCOMEX
Show All
- Source
- Cite
- Save
Citations (17)
FORMAL REASONING IN LOGIC DESIGN OF RECONFIGURABLE CONTROLLERS

2012 PDeS | Programmable Devices and Embedded Systems
- M. Adamski
- Jacek Tkacz
Show All
- Source
- Cite
- Save
Citations (17)
Petri nets and Activity Diagrams in logic controller specification - transformation and verification

2010 MIXDES | International Conference Mixed Design of Integrated Circuits and Systems
Show All
- Source
- Cite
- Save
Citations (26)
Design of Embedded Control Systems

2005
Show All
- Source
- Cite
- Save
Citations (56)
From interpreted Petri net specification to reprogrammable logic controller design

2000 ISIE | International Symposium on Industrial Electronics
- M. Adamski
- João L. Monteiro
Show All
- Source
- Cite
- Save
Citations (25)
Coloured Petri net model of application specific logic controller programs

1997 ISIE | International Symposium on Industrial Electronics
Show All
- Source
- Cite
- Save
Citations (18)
Petri-net-based algorithms for parallel-controller synthesis

1994 Iet Computers and Digital Techniques
Show All
- Source
- Cite
- Save
Citations (51)