CONFERENCE PROCEEDINGS
Advanced Search
Dr. Michal Doligalski
at University of Zielona Gora
SPIE Involvement:
Author
Publications (4)
Proceedings Article | 7 August 2017 Paper
Modeling and implementation of concurrent logic controllers with use of Petri nets, LSMs, and sequent calculus
J. Tkacz, A. Bukowiec, M. Doligalski
Proceedings Volume 10445, 1044528 (2017) https://doi.org/10.1117/12.2280967
KEYWORDS: Logic, Calculus, Field programmable gate arrays, Modeling
Proceedings Article | 11 September 2015 Paper
Multi-variants synthesis of Petri nets for FPGA devices
Arkadiusz Bukowiec, Michał Doligalski
Proceedings Volume 9662, 96623K (2015) https://doi.org/10.1117/12.2205612
KEYWORDS: Logic, Field programmable gate arrays, Computer programming, Parallel computing, High power microwaves, Clocks, Microelectromechanical systems, Computer aided design, Binary data, Circuit switching
Proceedings Article | 11 September 2015 Paper
Unit testing-based approach for reconfigurable logic controllers verification
Proceedings Volume 9662, 96623V (2015) https://doi.org/10.1117/12.2205922
KEYWORDS: Logic, Device simulation, Field programmable gate arrays, Prototyping, Printed circuit board testing, Clocks, Reliability, Software engineering, Software development, Rapid manufacturing
Proceedings Article | 11 September 2015 Paper
Petri nets SM-cover-based on heuristic coloring algorithm
Proceedings Volume 9662, 96623N (2015) https://doi.org/10.1117/12.2205794
KEYWORDS: Logic, Algorithm development, Rapid manufacturing, Solid modeling, Computer aided design, Statistical modeling, Data modeling, Field programmable gate arrays, Rule based systems, Device simulation
SIGN IN TO:
  • View contact details
UPDATE YOUR PROFILE
Is this your profile? Update it now.
Sign into your SPIE.org account
Don’t have a profile and want one?
Create an account on SPIE.org
Advertisement
Advertisement
Back to Top