Parallel Systems, Faculty of Computing Science Carl von Ossietzky Universitaet Oldenburg, Germany;
partial order theory of concurrency; petri nets; pomsets;
机译:使用Petri网在多器官消除途径中进行实验设计
机译:在多器官消除途径中使用Petri网进行实验设计
机译:使陪替氏网安全无内部过渡
机译:消除Petri网中的内部行为
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:模拟拟南芥的代谢:网络分解和网络还原在Petri网中的应用
机译:消除多线程软件中的并发错误:一种基于Petri网控制的方法
机译:有限petri网作为递归因果行为的模型。