hierarchy - for defining layered systems.
There is no mechanism for defining a hierarchically layered system in Promela, nor is there a good excuse to justify this omission. At present, the only structuring principles supported in Promela are proctype s, inline s, and macros .
Spin Online References
Promela Manual Index
|(Page updated: 28 November 2004)|