出现序列相关论文
该论文首先在进程,进程表达式的基础上定义了进程表达式子式,全局满进程,闭包项等概念,通过进程分析有界Petrie网及其特殊子类标识......
针对现有UML等对象化的继电保护业务建模方法难以进行语义分析和校验的问题,根据Petri网能定量分析系统安全性、可达性和有界性的......
