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.

Sign up for GitHub

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

Jump to bottom

[MCC] Improve the Petri nets repository and characteristics #4

Open
saucisson opened this issue Jun 25, 2018 · 1 comment
Open

[MCC] Improve the Petri nets repository and characteristics #4

saucisson opened this issue Jun 25, 2018 · 1 comment
Labels
mcc Model Checking Contest

Comments

@saucisson
Copy link

The Petri nets repository is a repository of models in Petri nets, that come together with characteristics. Its API should be improved.

The repository API could allow users to upload analysis results, such as the values for characteristics, for instance computed from a dedicated computer (BlueWhale).

New characteristics should be added and computed.
@saucisson saucisson added the mcc Model Checking Contest label Jun 25, 2018
@saucisson
Copy link
Author

Hooks should trigger computations when a new model is added or updated, or when a characteristic is added or updated.

The hook could contain the docker image name of the tool to run to compute the characteristic.

@saucisson saucisson mentioned this issue Jun 25, 2018
Open
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
mcc Model Checking Contest
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@saucisson