机译:面向目标的Petri网合成
Carl von Ossietzky Univ Oldenburg Parallel Syst Dept Comp Sci D-26111 Oldenburg Germany;
Univ Libre Bruxelles Dept Informat Blvd Triomphe CP 212 B-1050 Brussels Belgium;
Carl von Ossietzky Univ Oldenburg Parallel Syst Dept Comp Sci D-26111 Oldenburg Germany;
Carl von Ossietzky Univ Oldenburg Parallel Syst Dept Comp Sci D-26111 Oldenburg Germany;
Choice-freeness; Persistence; Petri Nets; Synthesis;
机译:将独立的,增长的,自由选择的Petri网应用到在任意Petri网中强制执行生命活动的策略的综合中
机译:Petri网上用于分布式对象的监督控制的建模和综合。二。一组通用形式序列的主管综合方法
机译:基于扩展Petri网的资源优化分配的协议合成和重新合成
机译:网络的受限子类的超逼近Petri网综合
机译:通过2-烷氧基羰基烯丙基硼酸酯的α-异亚烷基γ-内酯和γ-内酰胺:机理研究,面向多样性的合成和面向靶标的合成。
机译:不对称催化的特殊特征第二部分:面向目标的合成中的Mo催化不对称烯烃复分解:(+)-非洲醇的对映选择性合成
机译:独立,增加,自由选择petri网在任意petri网中强制生存策略综合中的应用
机译:具有局部性的petri网的合成