[2406.04694] Colored Petri Nets for Modeling and Simulation of a Green Supply Chain System