Le calcul de membrane (Projective Membrane Calculus) est un exemple de l'utilisation de règles d'inférence pour modéliser un processus biologique.