In addition to definitions for processes and compositions of processes, an FSP model description consists of definitions for constants, ranges of integers, sets of action labels, safety properties, progress properties, animation menus, fluents and assertions.
FSPdescription FSPdefinition FSPdescription FSPdefinition FSPdefinition ConstantDef RangeDef SetDef ProcessDef CompositeDef PropertyDef ProgressDef MenuDef FluentDef AssertDef