机译:使用时间Petri网进行部分观察的DES国家观察员
机译:使用时间Petri网进行部分观察的DES国家观察员
机译:自由选择的连续定时Petri网的传感器放置和观察器设计
机译:连续定时Petri网中用于区分和单个结构观察器设计的传感器放置
机译:部分状态观察下解释培养网的序列检测性分析
机译:使用时间Petri网对实时系统进行建模和实现。
机译:建模生物梯度形成:结合偏微分方程和Petri网
机译:部分观察下Petri网的模块化控制
机译:结合符号和偏序方法进行模型检查1-安全petri网