New Linear Program Performance Bounds for Closed Queueing Networks
Morrison, J.R.; Kumar, P.R.
State Observation and Diagnosis of Discrete-Event Systems Described by Stochastic Automata
Lunze, J.; Schröder, J.
Towards a (Max,+) Control Theory for Public Transportation Networks
Heidergott, B.; Vries, R.d.
Here are a few pages on the site that we think you may find useful: