examples


train/tram

(1) drive 30 seconds, pause 10 seconds, drive 30 seconds etc

(2) drive 30 seconds, set a timer and wait until expiry 10 seconds later, drive 30 seconds, etc

(3) drive to point A, wait until time=40sec, drive to point B etc.


syncronous: not suitable for complex networks as incompatible elements lock up

asyncronous: higher risk, higher complexity



e.g.


y > 12				pm
		
y = x + 3			hours

x = 8				am

	(no solution)


y > 12

y = x + 3

x >= 8

	(solution by changing an exact value to an inequality)

