Generalized semi-Markov processes: Antimatroid structure and second-order properties
A generalized semi-Markov scheme models the structure of a discrete event system, such as a network of queues. By studying combinatorial and geometric representations of schemes we find conditions for second-order properties—convexity/concavity, sub/supermodularity—of their event epochs and event counting processes. A scheme generates a language of easible strings of events. We show that monotonicity of the event epochs is equivalent to this language forming an antimatroid with repetition.