This study deals with the formal modeling and verification of reconfigurable discrete event
control systems (RDECSs). The behavior of an RDECS is represented by that of control …

In micro-machining or micro-manufacturing, the accuracy of micro-feature size is a primary
concern. It is possible to realize the exact sizes, but most of the time, undersize or oversize …

A variety of deadlock control policies based on Petri nets have been proposed for automated
manufacturing systems (AMSs). Most of them prevent deadlocks by adding monitors for …

Assembly operations are a key component of modern manufacturing systems. Designing,
planning, and conducting assembly operations represent an important part of the cost of a …

With the development of Industry 4.0 and the emergence of the smart factory concept, the
traditional philosophy of manufacturing systems will change. The smart factory introduces …

In biomedical applications, micro-channels are one of the important features and are often
fabricated by laser ablation process. However, laser-processed micro-channels exhibit crucial …

Titanium aluminides qualify adequately for advanced aero-engine applications in place of
conventional nickel based superalloys. The combination of high temperature properties and …

The evaluation of manufacturing processes aims to ensure that the processes meet the desired
requirements. Therefore, process capability indexes are used to measure the capability …

Alternative polyadenylation (APA) is a gene regulatory process that dictates mRNA 3′-UTR
length, resulting in changes in mRNA stability and localization. APA is frequently disrupted …

I4.0 promotes a future in which highly individualized goods are mass produced at a
competitive price through autonomous, responsive manufacturing. In order to attain market …