GB/T 20719.13-2010

Active

Industrial automation system and integration - Process specification language - Part 13: Duration and ordering theories

工业自动化系统与集成 过程规范语言 第13部分:时序理论

Standard Type
GBT
ICS
25.040.40
CCS
L67
Status
Active
Issue Date
2010-09-02
Implementation
2010-12-01
Centralized Committee
中国机械工业联合会
Issuing Authority
中华人民共和国国家质量监督检验检疫总局、中国国家标准化管理委员会

Application Summary AI generated

This standard defines formal theories for representing durations and temporal ordering of activities within manufacturing processes. It is applied in industrial automation systems to enable unambiguous specification and reasoning about process sequences, timing constraints, and scheduling logic. The standard supports integration across design, simulation, and control systems in discrete manufacturing and process industries.

Related Standards

Transparency note: The application summary and key sentences on this page were automatically generated by AI from the standard's original text. This content has not been human-verified and should not be used for compliance or regulatory purposes. Always refer to the official standard document from the issuing authority.