Synchronization; Petri nets; Automata; Lead; Safety; Testing; Discrete-event systems;
机译:使用同步Petri网在一类无界系统上同步序列
机译:1位无界同步Petri网转换为加权自动机
机译:齐次同步选择Petri网的可达性和发射序列
机译:一类1位无界同步Petri网的同步序列的计算
机译:使用同步μ子和中子探测器和人工神经网络的核材料识别和分类的改进
机译:网络中的同步兴奋性可生成内部神经元序列
机译:将1 - 无限的同步培养网转换为加权自动机