Methodological Framework for Sustainable Transport Corridor Modeling Using Petri Nets · Study