机译:嵌套Petri网的有界性与活性的组成性。
National Research University Higher School of Economics, Moscow, 101000, Russia;
National Research University Higher School of Economics, Moscow, 101000, Russia Program Systems Institute of the Russian Academy of Science, Pereslavl-Zalessky, 152020, Russia;
机译:密集定时陪替氏网:检查芝诺度,代币活跃度和有界度
机译:集中式和分散式监督控制器设计,可在Petri网中强制执行有界性,活跃性和可逆性
机译:基于Petri网表示的嵌入式系统共享综合的活泼性和有界性保留。
机译:痕迹半群上Petri网的有界性和活泼性
机译:组成分层时间Petri网的验证方法。
机译:模拟拟南芥的代谢:网络分解和网络还原在Petri网中的应用
机译:密集定时的Petri网:检查Zenoness,令牌活跃度和有界度
机译:协议工程中的组合petri网