...
机译:具有同步连接的陪替氏网区域
Concurrency; Transition system; Petri net; Theory of regions; Synthesis problem; Place transition net; Step sequence semantics; Synchronous and asynchronous communication; A/sync connection;
机译:具有同步连接的陪替氏网区域
机译:基于Petri网的随机系统模型及其联系
机译:使用几何区域的时间Petri网的CTL模型检查
机译:Sync-Call Adition运算员培养物业保留Petri Net Process代数
机译:基于结构化PETRI NET模型(性能,PETRI NET)的分布式系统软件设计分析
机译:从区域到连接和网络:大脑与行为之间的新桥梁
机译:具有同步连接的陪替氏网区域
机译:计算科学。具有/同步连接的petri网区域