https://ijsrem.com/download/petri-net-based-design-of-auto-signaling-framework-in-railway-network/