Chapter 1 Introduction -- Chapter 2 Fundamentals of Safety-Critical System -- Chapter 3 Important Aspects of Cyber Security -- Chapter 4 Mathematical Background -- Chapter 5 Security Analysis Models -- Chapter 6 Comparative Study of Analytical Models -- Chapter 7 Conclusion.

Introduction to GPenSIM -- PART I: Colored Petri Nets -- Colored Petri Nets -- Modeling Classical Problems with Colored Petri Nets -- Token Selection from multiple Input Places -- Token Selection based on Time -- Token Selection based on Cost -- PART-II: GPenSIM Resources -- GPenSIM Resources --...

Chapter 1: Q-Learning Approach to Mitigate Bacterial Contamination in Food Supply Chain -- Chapter 2: Optimization of Network Planning in a Real-Life Vehicle Logistics Distribution System -- Chapter 3: Efficient Supplier Selection in e-Procurement Reverse Auction using Graph Based Model --...

Modeling Reverse Logistics Network for Post-Sale Service Under International Ecosystem -- Sustainable Parallel Machine Scheduling: Trade-Off Between Tardiness And Energy Consumption -- Modeling A Coordinated Supply Chain Under Service Level Constraint With Price-Sensitive Stochastic Demand And...

Intelligent Systems for Sustainable Development of Healthcare Industry -- Fruit Fly Damage Control- A Comprehensive Solution for Sustainable Development of Gherkin Industry -- Uprising of EV’s: Charging the Future with Demystified Analytics and Sustainable Development -- Assessing Intelligence...

Introduction to Petri nets -- Introduction to GPenSIM -- Models of Real-Life Systems -- GPenSIM for Monolithic Petri nets -- Literature Review on Modular Petri nets -- Towards Developing a New Modular Petri net -- Design of a New Modular Petri nets -- GPenSIM Support for Petri Modules -- Module...

Optimization of Inventory and Transportation in Supply Chains -- Scheduling in Manufacturing and Service Systems -- Forecasting and Information Analysis in Supply Chains -- Soft Computing and Machine Learning Techniques and Applications in Operations and Supply Chain Management -- Logistics and...