Module Rs

module Rs: sig .. end
Types of rective systems.
Author(s): Michele Sevegnani

type t = 
| BRS (*
Bigraphical Reactive Systems
*)
| PBRS (*
Probabilistic Bigraphical Reactive Systems
*)
| SBRS (*
Stochasrtic Bigraphical Reactive Systems
*)
Kinds of transition systems.
exception EXPORT_ERROR of string
Raised when an export error occurs.
val to_string : t -> string
val to_string_ext : t -> string
val sim_type : t -> string
val ts_type : t -> string
val limit_type : t -> string
val limit_msg : t -> string
val module_id : t -> string