Z
Zbigniew Banaszak
Researcher at Koszalin University of Technology
Publications - 233
Citations - 2149
Zbigniew Banaszak is an academic researcher from Koszalin University of Technology. The author has contributed to research in topics: Constraint satisfaction problem & Constraint programming. The author has an hindex of 19, co-authored 220 publications receiving 1848 citations. Previous affiliations of Zbigniew Banaszak include Polish Academy of Sciences & University of Zielona Góra.
Papers
More filters
Journal ArticleDOI
Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows
Zbigniew Banaszak,Bruce H. Krogh +1 more
TL;DR: The authors develop a Petri net model of concurrent job flow and dynamic resource allocation in an FMS and define deadlock in terms of transition enabling in the PN model to prove that restricted deadlock can never occur for any resource allocation policy implemented under the DAA restriction policy.
Journal Article
The Performance Evaluation Tool for Automated Prototyping of Concurrent Cyclic Processes
TL;DR: This paper focuses on providing a procedure that enables building analytical models of Cyclic Concurrent Processes Systems belonging to a system class considered in the paper, and the max-plus algebra formalism is employed.
Journal ArticleDOI
A methodology for implementation of mobile robot in adaptive manufacturing environments
TL;DR: In order for the mobile robot to work properly in a flexible (cloud-based) manufacturing environment, the communications and exchange of data between theMobile robot with other manufacturing systems and shop-floor operators are addressed in the methodology.
Journal ArticleDOI
Declarative approach to cyclic steady state space refinement: periodic process scheduling
TL;DR: This work discusses the sufficient conditions guaranteeing the schedulability of both local and multimodal cyclic processes, and proposes a recursive approach in designing them.
Journal ArticleDOI
Metaheuristic algorithms for balancing robotic assembly lines with sequence-dependent robot setup times
Mukund Nilakantan Janardhanan,Mukund Nilakantan Janardhanan,Zixiang Li,Grzegorz Bocewicz,Zbigniew Banaszak,Peter Nielsen +5 more
TL;DR: A recently developed metaheuristic Migrating Birds Optimization (MBO) algorithm and set of metaheuristics have been implemented and the performance of the MBO algorithm is superior for the tested datasets.