Research Article
Formal Modeling, Proving, and Model Checking of a Flood Warning, Monitoring, and Rescue System-of-Systems
Table 1
Comparison of basic data types.
| Color set | CPN specification | Event-B notation |
| Unit | Comprises a single element colset name = unit | No direct corresponding | Boolean | Set of true and false colset name = bool | BOOL | Integer | Integer numerals without a decimal point colset name = int | INTEGER | String | Sequences of printable characters colset name = string | STRING | Enumerated | Enumeration values colset name = with id0 | id1 | · · · | idn | SET = { E1, · · ·, En} only in operation input | Index | Sequences of values comprised of an identifier colset name = index id with exp1, .., exp2 | No direct corresponding |
|
|