Module `Bigraph.Pbrs`

Operations on probabilistic BRSs.

Defined in:

B. Archibald, M. Calder and M. Sevegnani. Probabilistic Bigraphs, ACM Formal Aspects of Computing Journal, Volume 34, Issue 2, 2022.

module type T = sig ... end

Output signature of the functor Pbrs.Make.

module Make (_ : Solver.M) : sig ... end

Functor building a concrete implementation of a probabilistic BRS given a matching engine.