General Administration of Quality Supervision, Inspection and Quarantine of the People‘s Republic of China
Latest
GB/T 20719.12-2010
Scope
This part of GB/T 20719 provides a conceptual expression belonging to the outer core of the PSL language by using a set of axioms and definitions of GB/T 20719. These axioms provide semantic axiomatization for terms in the GB/T 20719 outer core. The scope of this part of GB/T 20719 includes: collection of activities and sub-activities; discrete activities and states; constraints on the occurrence of activities; concurrency of basic activities; complex activities; occurrence of complex activities.
GB/T 20719.12-2010 Referenced Document
GB/T 16262.1 Information technology - Abstract syntax notation one (ASN.1) - Part 1: Specification of basic notation
GB/T 16656.1 Industrial automation systems and integration.Product data representation and exchange.Part 1:Overview and fundamental principles
GB/T 19114.1 Industrial automation systems and integration industrial manufacturing management data Part 1: General overview
GB/T 20719.1 Industrial automation system and integration-Process specification language-Part1:Overview and basic principles
GB/T 20719.11 Industrial automation systems and integration process specification language-Part 11:PSL core
GB/T 20719.12-2010 history
2011GB/T 20719.12-2010 Industrial automation systems and integration.Process specification language.Part 12:Outer core