Skip to content

Add capacity analysis #5

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
Open
kevin-delmas opened this issue Nov 13, 2023 · 1 comment
Open

Add capacity analysis #5

kevin-delmas opened this issue Nov 13, 2023 · 1 comment
Assignees
@Gaudeval @FredBoniol @ccoquand @kevin-delmas @cpagetti
Labels
enhancement New feature or request
Milestone
Add capacity anal...

Comments

@kevin-delmas
Copy link
Collaborator

kevin-delmas commented Nov 13, 2023 •
edited
Loading

The user should be able to specify a capacity to the services and a utilization of these capacities by the transactions.
The interference could then be detected iff a capacity is exceeded.
First ideas are available here
@kevin-delmas kevin-delmas added the enhancement New feature or request label Nov 13, 2023
@kevin-delmas kevin-delmas self-assigned this Nov 13, 2023
@kevin-delmas
Copy link
Collaborator Author

kevin-delmas commented Nov 21, 2023 •
edited
Loading

This development branch has been opened to add this feature.

@kevin-delmas kevin-delmas mentioned this issue Feb 12, 2025
Open
ccoquand added a commit that referenced this issue Apr 7, 2025
@ccoquand
#5 - Add first try of Petri net structure
cb5cba7
ccoquand added a commit that referenced this issue Apr 7, 2025
@ccoquand
#5 - Add tests for Petri nets
cab6871
ccoquand added a commit that referenced this issue Apr 10, 2025
@ccoquand
#5 - TransitionTest version that does not compile
cff3bd6
ccoquand added a commit that referenced this issue Apr 14, 2025
@ccoquand
#5 - Add generators for Place, Transitions and PetriNet types! WARNIN…
1661742 
…G: Untested code
ccoquand added a commit that referenced this issue Apr 14, 2025
@ccoquand
#5 - Delete unecessary imports
7267111
ccoquand added a commit that referenced this issue Apr 15, 2025
@ccoquand
#5 - Error with capac ity operator
2296e53
kevin-delmas pushed a commit that referenced this issue Apr 15, 2025
@ccoquand @kevin-delmas
#5 - Add first try of Petri net structure
2a78836
kevin-delmas pushed a commit that referenced this issue Apr 15, 2025
@ccoquand @kevin-delmas
#5 - Add tests for Petri nets
09d5343
kevin-delmas pushed a commit that referenced this issue Apr 15, 2025
@ccoquand @kevin-delmas
#5 - TransitionTest version that does not compile
55cb498
kevin-delmas pushed a commit that referenced this issue Apr 15, 2025
@ccoquand @kevin-delmas
#5 - Add generators for Place, Transitions and PetriNet types! WARNIN…
bbb5b28 
…G: Untested code
kevin-delmas pushed a commit that referenced this issue Apr 15, 2025
@ccoquand @kevin-delmas
#5 - Delete unecessary imports
0757955
kevin-delmas pushed a commit that referenced this issue Apr 15, 2025
@ccoquand @kevin-delmas
#5 - Error with capac ity operator
c1c92ac
ccoquand added a commit that referenced this issue Apr 16, 2025
@ccoquand
#5 - Begin operator implem
a83d48d
ccoquand added a commit that referenced this issue Apr 17, 2025
@ccoquand
#5 Finish implem of Demand operator
c9e2abc
ccoquand added a commit that referenced this issue Apr 22, 2025
@ccoquand
#5 - Add non-compiling tests for Capacity operator
41c72c2
ccoquand added a commit that referenced this issue Apr 24, 2025
@ccoquand
#5 - Add tests for Capacity operator and Demand operator (not complete)
44f707c
ccoquand added a commit that referenced this issue Apr 24, 2025
@ccoquand
#5 - Problem with DemandTest
32b7f21
ccoquand added a commit that referenced this issue Apr 30, 2025
@ccoquand
#5 - Begin operator implem
81403d9
ccoquand added a commit that referenced this issue Apr 30, 2025
@ccoquand
#5 Finish implem of Demand operator
b0cabe1
ccoquand added a commit that referenced this issue Apr 30, 2025
@ccoquand
#5 - Add non-compiling tests for Capacity operator
6740cc5
ccoquand added a commit that referenced this issue Apr 30, 2025
@ccoquand
#5 - Add tests for Capacity operator and Demand operator (not complete)
347fedb
ccoquand added a commit that referenced this issue Apr 30, 2025
@ccoquand
#5 - Problem with DemandTest
9c69172
ccoquand added a commit that referenced this issue Apr 30, 2025
@ccoquand
[#5] Finish Unit test implem for Demand operator
f4ceafc
ccoquand added a commit that referenced this issue Apr 30, 2025
@ccoquand
#5 - Add first try of Petri net structure
f152d63
ccoquand added a commit that referenced this issue Apr 30, 2025
@ccoquand
#5 - Add tests for Petri nets
98bd83e
ccoquand added a commit that referenced this issue Apr 30, 2025
@ccoquand
#5 - Error with capac ity operator
f658da9
ccoquand added a commit that referenced this issue Apr 30, 2025
@ccoquand
#5 Finish implem of Demand operator
4a68e3b
ccoquand added a commit that referenced this issue Apr 30, 2025
@ccoquand
#5 - Add non-compiling tests for Capacity operator
e6ffe6c
ccoquand added a commit that referenced this issue Apr 30, 2025
@ccoquand
#5 - Add tests for Capacity operator and Demand operator (not complete)
d5b3d1f
ccoquand added a commit that referenced this issue Apr 30, 2025
@ccoquand
[#5] Finish Unit test implem for Demand operator
3c897be
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@Gaudeval Gaudeval

@FredBoniol FredBoniol

@ccoquand ccoquand

@kevin-delmas kevin-delmas

@cpagetti cpagetti

Labels
enhancement New feature or request
Projects
None yet
Milestone
Add capacity analysis to PML Analyzer
Development

When branches are created from issues, their pull requests are automatically linked.

5-add-capacity-analysis onera/pml-analyzer
5 participants
@Gaudeval @FredBoniol @ccoquand @kevin-delmas @cpagetti