There are two tags network-modeling and formal-modeling that broadly speaking address questions where the main goal is to find the right mathematical model for a scenario. I was trying to figure out how to tag this question, and while I ultimately decided on network-modeling, I wasn't entirely sure what the appropriate tag is.
Looking over the two tags, I still didn't get a clear idea what they represent. Possibly, formal-modeling is about modeling systems (i.e automata, petri nets, etc etc) and network modeling is about modeling networks (social, internet, etc), but even that's not entirely consistent in the current set of questions.
Thoughts ?