Institute for Informatics, Ludwig-Maximilians-Universität München, Munich, Germany. petri@bio.ifi.lmu.de|Institute for Informatics, Ludwig-Maximilians-Universität München, Munich, Germany. petri@bio.ifi.lmu.de|Institute for Informatics, Ludwig-Maximilians-Universität München, Munich, Germany. petri@bio.ifi.lmu.de|Institute for Informatics, Ludwig-Maximilians-Universität München, Munich, Germany. petri@bio.ifi.lmu.de