Session 2: retries and the id check
A request for some rupees arrives several times; the id check decides whether the payer is charged once or many times.
This is a simplified educational model. It is not a validated design tool and must not be used for real structures, electrical installations, vehicles, industrial processes or medical decisions.