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