Petri nets; Optimization; Branching(Mathematics); Foreign technology; Unfolding algorithms;
机译:用网络展开来加强时间Petri网的周期性过渡期限
机译:展开Petri网中的逻辑和代数:关于并发和因果依赖之间的对偶
机译:死锁检测导向无限的培养网的展开
机译:Petri网展开算法的平行化
机译:使用网络展开对时间Petri网进行监督控制。
机译:模拟拟南芥的代谢:网络分解和网络还原在Petri网中的应用
机译:Petri网展开算法的并行化
机译:一种有效的展开petri网的算法