Probabilistic Graph Queries

Evaluate probabilistic properties directly on system models.