Modeling infrastructure interdependencies using Petri nets | Synapse