The number of processes defines the size of the system.A parameterized system may be regarded as an infinite family of instances, namely one for each size.

• 在系统规格验证方法上，以派区网路推论系统错误有其可行性，但仍缺乏规格可能出现之完整推论与验证。