C1-PA-PRE

This Algorithm is used to avoid the concurrency issue for payment agreement.