CADBIOM est un logiciel open source de modélisation permettant de donner un cadre formel à la modélisation de systèmes biologiques tels que les réseaux de signalisation cellulaire. Il est basé sur la sémantique des transitions surveillées et offre une interface graphique pour faciliter la conception et l'analyse de ces modèles.