Concurrency; Theory of regions; Transition system; Synthesis problem; Petri net; Step semantics; Locality; Whole-place operations net;
机译:网络操作(Ⅱ)-Petri网的迭代加法操作
机译:将独立的,增长的,自由选择的Petri网应用到在任意Petri网中强制执行生命活动的策略的综合中
机译:原油作业的短期调度:使用基于Petri网的控制理论方法增强原油作业的调度
机译:全部运营和地方的培养网合成
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:基于Petri网的萜类生物合成途径模型的仿真
机译:带和不带全位操作的Petri网扩展的基于语言的比较
机译:具有局部性的petri网的合成