Colored Petri Nets; E-Commerce; model checking;
机译:电子支付交易担保路线图和彩色Petri网模型检查方法
机译:使用彩色Petri网的电子商务协议建模与分析
机译:使用彩色Petri网的电子商务协议建模与分析
机译:有色Petri网的电子交易协议通用模型检查方法
机译:用彩色Petri网建模可重入制造系统的系统方法。
机译:使用彩色混合Petri网和模拟模型检查的空间群体感应建模
机译:电子支付交易担保的路线图和彩色Petri网模型检查方法
机译:结合符号和偏序方法进行模型检查1-安全petri网