Petri nets; Unfolding; Canonical forms; Model checking; Parameters; Branching(Mathematics); Data structures; Algorithms; Concurrency; Theorems; Foreign technology; Petri net unfoldings;
机译:Petri网展开的规范前缀
机译:Petri网展开的有限和完全前缀的模块化构造
机译:高级Petri网中控制和数据流的分离:将双流网转换为对象Petri网
机译:Petri网展开的规范前缀
机译:使用网络展开对时间Petri网进行监督控制。
机译:模拟拟南芥的代谢:网络分解和网络还原在Petri网中的应用
机译:Petri网展开的规范前缀
机译:使用网络展开实现LTL模型检查。