Automata and formal languages; Petri nets; Infinite words; Logic in computer science; Cantor topology; Borel hierarchy Wadge hierarchy; Wadge degrees; Highly undecidable properties;
机译:非确定性Petri网的ω语言的拓扑复杂性
机译:有色Petri网语言与某些传统语言的相互关系。
机译:面向企业应用集成解决方案仿真的Petri网,马尔可夫链和排队论作为数学建模语言的研究:第一步
机译:Petri网语言的可控性和最高可控子语言
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:非小细胞肺癌细胞的单细胞大规模细胞计数揭示了培养皿上的体内和三维模型的复杂性。
机译:非确定性Petri网的ω语言的拓扑复杂性