Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Regulations #16

Merged
merged 17 commits into from
Jun 24, 2021
Merged

Regulations #16

merged 17 commits into from
Jun 24, 2021

Conversation

xtrojak
Copy link
Collaborator

@xtrojak xtrojak commented Jun 24, 2021

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).

xtrojak added 17 commits May 27, 2021 11:23
…preliminary tested on programmed regulation)
…mory, and full-memory for different types of regulations
…tion of state uniqueness; updated TS visualisation to include rule labels
…s not enough, previous path is missing (for regulated systems)
@xtrojak xtrojak merged commit d46b153 into master Jun 24, 2021
@xtrojak xtrojak deleted the regulations branch August 18, 2021 07:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant