语言描述能力相关论文
在离散事件动态系统的研究中，逻辑层次的建模与控制是一个很重要的方面。由于Petri网的一些特点，例如真并发的语义、易于转换为计算......
时序Petri网是对原型Petri网模型(称为时序Petri网的基网)加上时序逻辑公式进行的扩充.本文初步讨论了时序Petri网的语言表达能力,......
