Petri nets; embedded systems; human-system interaction;
机译:建立基于Petri网的模型以控制网络物理与人机系统之间的自治冲突
机译:人机交互事件模型
机译:使用Petri网的遗传交互模式详尽建模框架
机译:与Petri网模型的人体系统相互作用建模的基本事件
机译:使用Petri网对离散事件系统进行建模,监视和优化。
机译:基于Petri网的新型传感器网络中传感器与地理环境相互作用的新型建模方法。
机译:用Petri网模型对人机交互建模的基本事件
机译:使用随机高级petri网建模并行和分布式系统中的硬件 - 软件交互。