This web site attempts to examine the semantics of formulae and demonstrate a prototype for analyzing the semantics of formulae, programs, and spreadsheets.
This is definitely a test site. But some of it DOES work. If you are fortunate, and the site is being cooperative, have a look at the traffic jam model page.
Traffic jams have been compared with fluid flow when shocks occur. I’m not convinced the physics are the same.
Instead, my favorite analogy is stock market panics. As stock prices drop, investors sell in a panic, further driving down prices. Yet stock prices often rise well past prudent valuations.
It is risky to own overpriced stocks since the downside is nasty, brutish, and short. But please don’t be contrarian in a traffic jam.
The tutorial, How to decipher an equation didn’t seem too functional to me, but that might have been due to issues of my own.
Alternatively, you may want to try the programming example, for FORTRAN and C programs only.