Text this: Stochastic Petri net model with random time of Vietnamese ischemic stroke patient treatment process