On Petri net implementation of proactive resilient holistic supply chain networks · Study