Mathematical formulation of a deterministic parking reservation system (PRS) with fixed costs | Synapse