Technology Books

A study on techniques for solving reachability problems in PN and TPN based on mathematical programming. An incremental search using step sequences that represent parallel and reentrant firings of transitions.

An overview on the applications of Petri Net modeling, state space representation and associated solution techniques, hierarchical decomposition and control, hybrid modeling, and multiple agent systems, on intelligent control of manufacturing systems.

A study on the applications of the Queueing Petri Net prototypes and dissetion on distributed systems.

The application of a mathematical modeling language for distributed systems to the communication systems of a microchip enabling it to do simultaneous inter-processor communication.

An insight to inductive approaches with consideration to the trial/error paradigm for applications in telecommunications such as VoD, Video-Conference and VoIP.

The use of sequencing and scheduling techniques by the metal industry and the academic community for the continuing improvement in the production of sheet metal.

An overview of the convergence on the use of Hybrid Ant Colony Optimization (HACO) to solve optimal design problems with large industrial applications.

A brief overview on data computed tomography and its wide applications from x-rays to laser beams.

An overview on ViSyR: a patented fully automatic and configurable FPGA-based vision system for real-time infrastructure inspection and its application to railway systems.

A brief overview on the methods on how to compress spectral imaging data and its applications.