Towards Failure Prediction in Scientific Workflows Using Stochastic Petri Nets and Dynamic Logic.

Bruno Lopes, Daniel de Oliveira

Browse the full QUATIC paper archive.