...
机译:标有培养网和有限自动机的可检测性
KTH Royal Inst Technol Sch Elect Engn &
Comp Sci S-10044 Stockholm Sweden;
Univ Cagliari Dept Elect &
Elect Engn I-09123 Cagliari Italy;
Labeled Petri net; Finite automaton; Weak approximate detectability; Eventual strong detectability; Decidability; Complexity;
机译:标有培养网和有限自动机的可检测性
机译:用Walsh函数线性表示有限确定的自动机和Petri网
机译:有限状态自动机建模的离散事件系统的Petri网诊断
机译:标记Petri网中可检测性的验证
机译:使用Petri网检测传感器网络应用程序中的恶意代码
机译:有限群体中电泳检测遗传变异的模拟研究
机译:使用Petri网将有限自动机,并行程序和SDL组合在一起
机译:有限petri网作为递归因果行为的模型。