Článek prezentuje nová filtrační pravidla modely s podmínkami popisující stavové přechody v disjunktivních zdrojích.