Discrete event systems; Petri nets; Interpreted Petri nets; Observability; Event-detectability; Sensor choice;
机译:将独立的,增长的,自由选择的Petri网应用到在任意Petri网中强制执行生命活动的策略的综合中
机译:自由选择工作流Petri网的定量分析进展(特邀演讲)
机译:自由选择工作流Petri网的定量分析进展(特邀演讲)
机译:自由选择Petri网中可观察性的最佳传感器选择
机译:使用Petri网检测传感器网络应用程序中的恶意代码
机译:基于Petri网的新型传感器网络中传感器与地理环境相互作用的新型建模方法。
机译:独立,增加,自由选择petri网在任意petri网中强制生存策略综合中的应用
机译:自由选择petri网中可达死区的并行计算