Bigraph



Ctrl
The module of bigraphical controls.
Nodes
This module provides operations on bigraphical nodes.
Iso
This module provides an implementation of isomorphisms on integers.
Fun
This module provides an implementation of functions on 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.
Brs
This module provides operations on BRS.
Sbrs
This module provides operations on stochastic BRS.
Pbrs
This module provides operations on probabilistic BRS.