gitlab-research.centralesupelec.fr / 2011ballarinp
2011ballarinp/PRISMProductionLines
Generators of PRISM code for DTMC models of production line systems (blocking-after-service policy)
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0
2011ballarinp/cosmos_productionlines
Generators of COSMOS .gspn files for DTMC models of production line systems (blocking-after-service policy)
Last synced at: 12 months ago - Pushed at: 11 months ago - Stars: 0 - Forks: 0