Due to highly complex nature of a dynamic supply chain, modeling, analyzing, optimizing & redesigning of supply chain processes using formal and quantitative approaches is a challenging task. Many of the past studies neglected significant impacts of such integration issues and models from past studies were confined in their capability and applicability to analyze dynamic supply chain. The objective of this book is to develop viable modeling methodologies and analyzing algorithms for a dynamic supply chain so that the logic properties of supply chain process models can be analyzed and verified. This problem requires more attention it deserves in integrated supply chain literature till date. This book identifies key research gaps which are crucial in providing an insight that there is a significant opportunity to develop hybrid modeling approaches for supplier related issues. These hybrid approaches enhance the connection of the major building blocks in the supply chain and considering the dynamic nature of supply chain, the proposed hybrid approaches are utilized to study the impact of different supply chain strategies and policies.