Computing as a Modeling Framework. Cellular Systems Case Studies -- Petri Nets for