Petri nets; Semantics; Concurrent computing; Writing; Distributed databases; Data models; Mathematical model;
机译:使用以数据为中心的动态系统对具有名称的Petri网进行模型检查。
机译:使用以数据为中心的动态系统使用名称对Petri网进行模型检查
机译:基于带数据操作的Petri网检测数据流错误
机译:通过Petri网通过数据操作检查并发系统中的不一致数据
机译:检查并发系统级代码的数据共享策略。
机译:使用模糊连续Petri网对动力学数据不确定的生物系统建模
机译:petri网对并发系统的组合模型检查