Published December 15, 2022
| Version v1
Other
Open
Bigraph Models of Smart Manufacturing and Rover Example in CAN
Description
This is the official online repository for bigraph models of simple smart manufacturing and rover examples written in CAN language.
It also contains very detailed instructions on how to reproduce the evaluation of these two examples for quantitative verification and strategy synthesis using popular model checkers PRISM and Storm.
Files
Files
(58.3 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:d277aeb82381dcf7c1eea18d6554b529
|
1.1 kB | Download |
|
md5:c4fbd35c4c2084cdd5e7e6616898328a
|
27.4 kB | Download |
|
md5:ee8da878e3e5f9777e478f17cdec3b9f
|
25.7 kB | Download |
|
md5:45436e5b43b1b9d5f2c5bfed370692b0
|
4.2 kB | Download |