Bigraph



Ctrl
The module of bigraphical controls.
Nodes
This module provides operations on bigraphical nodes.
Iso
This module provides an implementation of finite isomorphisms over integers.
Fun
This module provides an implementation of finite functions over integers.
IntSet
This module implements finite sets of integers.
Rs
Types of rective systems.
Place
This module provides operations on place graphs.
Link
This module provides operations on link graphs.
Big
This module provides operations on bigraphs.
Stats
This module defines execution statistics for Reactive Systems.
Brs
This module provides operations on BRS.
Sbrs
This module provides operations on stochastic BRS.
Pbrs
This module provides operations on probabilistic BRS.