Development of information technology industry provided great possibilities in the area of integration of diff erent CAx systems, such as CAD, CAM, CAE and others. In order to successfully link systems of automated-design (or Computer Aided Design CAD) with automated manufacturing systems (or Computer Aided Manufacturing – CAM), automation of manufacturing process planning is needed, i.e. CAPP ...

Partial order reduction is a state space pruning approach that has been originally introduced in computer aided verification. Recently, various partial order reduction techniques have also been proposed for planning. Despite very similar underlying ideas, the relevant literature from computer aided verification has hardly been analyzed in the planning area so far, and it is unclear how these te...

Computer-aided process planning (CAPP) is an important interface between computer-aided design (CAD) and computer-aided manufacturing (CAM) in computer-integrated manufacturing environments (CIMs). In this paper, process planning problem is described based on a weighted graph, and an ant colony optimization (ACO) approach is improved to deal with it effectively. The weighted graph consists of n...