Aiguo Xie, Sangyun Kim, Peter A. Beerel. Bounding Average Time Separations of Events in Stochastic Timed Petri Nets with Choice. In 5th International Symposium on Advanced Research in Asynchronous Circuits and Systems (ASYNC 99), 19-22 April 1999, Barcelona, Spain. pages 94-107, IEEE Computer Society, 1999. [doi]
Abstract is missing.