Useful martingales for stochastic storage processes with Lévy input

We apply the general theory of stochastic integration to identify a martingale associated with a Lévy process modified by the addition of a secondary process of bounded variation on every finite interval. This martingale can be applied to queues and related stochastic storage models driven by a Lévy process. For example, we have applied this martingale to derive the (non-product-form) steady-state distribution of a two-node tandem storage network with Lévy input and deterministic linear fluid flow out of the nodes.