CADBIOM est un logiciel de modélisation open source qui fournit un cadre formel basé sur la sémantique des transitions surveillées pour aider à la modélisation de systèmes biologiques tels que les réseaux de signalisation cellulaire.