V. E. Kotov;L. A. Cherkasova
-;-
Stochastic Petri Box Calculus with Discrete Time
Fundamenta Informaticae