Closed xtrojak closed 3 years ago
Implemented regulations of BCSL models. This includes 5 types - regular, programmed, ordered, concurrent-free, and conditional.
For now a simple way how to define them inside model definition file is enabled, needs to be further improved (#15).
Implemented regulations of BCSL models. This includes 5 types - regular, programmed, ordered, concurrent-free, and conditional.
For now a simple way how to define them inside model definition file is enabled, needs to be further improved (#15).