Nested Petri nets; Place invariants; Behavioral properties; Structural analysis methods;
机译:Petri网方法分析Web服务的行为兼容性和相似性
机译:Petri网框架内离散事件监督控制的结构方法:监督控制理论与地方不变方法之间的一对一联系
机译:使用不变子空间的定时连续Petri网的可控性的结构表征
机译:用于分析嵌套Petri网的行为特性的结构的地方不变
机译:基于Petri网的仿真模型来分析急诊部门的转移。
机译:使用Petri网建模方法分析阿尔茨海默氏病中神经元通路的行为
机译:基于互动行为培养网的分布式系统诊断利用P-不变分析