From Graphs to the Science Computer of a Space Telescope - The Power of Petri Nets in Systems Engineering