GB/T 20719.12-2010 Industrial automation systems and integration—Process specification language—Part 12:Outer core

Scope

This part of GB/T 20719 provides a conceptual description of the PSL language kernel by using a set of axioms and definitions from GB/T 20719. These axioms provide a semantic formalization of the terms in the GB/T 20719 kernel.
The scope of this part of GB/T 20719 includes:
——A collection of activities and sub-activities;
——Discrete activities and states;
——Constraints on the occurrence of activities;
——Concurrency of basic activities;
——Complex activities;
——The occurrence of complex activities.

Development Information

Same series standard

Referenced Standards

Adopt standards

Related Standards