Industrial automation systems and integration—Process specification language—Part 12:Outer core
IDT ISO 18629-12:2005
全国自动化系统与集成标准化技术委员会(SAC/TC 159)
GB/T 20719的本部分通过使用GB/T 20719的一组公理和定义提供了属于PSL语言外核的概念表述。这些公理为GB/T 20719外核中的术语提供了语义的公理化。
GB/T 20719本部分的范围包括：
——活动和子活动的集合；
——离散活动和状态；
——活动发生的约束；
——基本活动的并发；
——复杂活动；
——复杂活动的发生。
This standard is the original Chinese electronic standard.
If you need translation, please contact email: ChineseStandardsLibraryS001@gmail.com.
After you successfully purchase, we will send the electronic version of this standard to your email address
