För att klara av den ökande komplexiteten i regleringsnäten definierar vi en minskningsmetod för flervärderade logiska modeller. Med utgångspunkt i en detaljerad modell använder vi beslutsdiagram för att beräkna reducerade modeller genom att iterativt "removing" reglerande komponenter. För att bibehålla ett konsekvent dynamiskt beteende kommer de logiska regler som är förknippade med målen för varje borttagen nod att realiseras för att ta hänsyn till tillsynsmyndigheternas (indirekta) effekter. Denna konstruktion av reducerade modeller bevarar viktiga dynamiska egenskaper hos den ursprungliga modellen, inklusive stabila tillstånd och mer komplexa attraherare. I detta avseende fastställs formellt förhållandet mellan den ursprungliga modellens dragningskraft och den reducerade modellens. Vi analyserar vidare frågan om att attrahera eller nå fram. Slutligen illustrerar vi flexibiliteten och effektiviteten hos den föreslagna reduktionsmetoden genom dess tillämpning på en flervärdig modell av flugsegmentpolaritetsnätet, som är involverat i kontrollen av segmentering under tidig embryogenes.
I REF föreslås en minskningsmetod för logiska modeller av regleringsnät.
Dynamically consistent reduction of logical regulatory graphs
{'venue': 'Theor. Comput. Sci.', 'journal': 'Theor. Comput. Sci.', 'mag_field_of_study': ['Mathematics', 'Computer Science']}