Vadim E. Kotov;Ludmila Cherkasova
-;-
Stochastic Petri Box Calculus with Discrete Time
Fundamenta Informaticae