Qualitative Reasoning for Quantitative Simulation

Table 7

Filtering behaviors using Deriv (amount, netflow).

Netflow	Amount
		R5
	R5	B2	R5	B3
	B1	R5	B4	R5
		R5		R5

R1: [(amount)/] = [(outflow)/]; R2: if outflow has inf value then amount must have inf value; R3: [(netflow)/] + [(outflow)/] = [(inflow)/]; R4: + finite = ; R5: [(amount)/] = [netflow].