Conoscendo le matrici I, O cosa mi può far dire se una transizione è abilitata?

La transazione jesima è abilitata in una marcatura (vettore m) se e solo se la colonna jesima della matrice di input è miniore o uguale al m