Index of /backup/Downloads/prism-4.8.1-linux64-x86/prism-examples/ctmcs/kanban/

../
README.txt                                         12-Jan-2024 23:19                 411
auto                                               12-Jan-2024 23:19                  92
kanban.csl                                         12-Jan-2024 23:19                 208
kanban.sm                                          12-Jan-2024 23:19                2452