Calculus of Looping Sequences (CLS) gör det möjligt att beskriva biologiska system och deras utveckling. Detta dokument presenterar den rumsliga CLS, en förlängning av CLS som gör det möjligt att beskriva positionen av biologiska element, och det utrymme de tar upp i en 2D/3D utrymme. Elementen kan röra sig självständigt under tidens gång och kan interagera när begränsningar i deras positioner är uppfyllda. Det utrymme som upptas av varje element är modellerat som en hård sfär, och därför kan rymdkonflikter uppstå under systemutvecklingen. Dessa konflikter löses genom en lämplig algoritm, som omorganiserar elementens position genom att anta att de pressar varandra när de är för nära. Dessutom förses reglerna för omskrivning med en parameter som beskriver deras reaktionsgrad. Syftet med Spatial CLS är att möjliggöra en mer exakt beskrivning av de biologiska processer vars beteende beror på den exakta positionen hos elementen. Som exempel på tillämpningar av kalkylen presenterar vi en modell för cellproliferation och en modell för beslutförnimmelseprocessen i Pseudomonas aeruginosa.
I REF ges en rumslig förlängning av CLS i ett 2D/3D-utrymme.
Spatial Calculus of Looping Sequences
{'venue': None, 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}