Analysis of the Coupling Coordination Relationship between Digitalization and Cultural Industry. | 0 | 0.34 | 2021 |
Reach-Avoid Analysis for Delay Differential Equations. | 0 | 0.34 | 2021 |
Abstraction-Based Incremental Inductive Coverability for Petri Nets. | 0 | 0.34 | 2021 |
WHU-NERCMS at TRECVID2018 - Instance Search Task. | 0 | 0.34 | 2018 |
从UML到GSPN的转换和性能分析方法 (Transforming UML to GSPN for Performance Analysis). | 0 | 0.34 | 2016 |
Performance Analysis for Job Scheduling in Hierarchical HPC Systems: A Coloured Petri Nets Method. | 0 | 0.34 | 2015 |
基于随机Petri网的高性能计算系统作业调度及InfiniBand网络互连的性能分析 (Performance Evaluation of Job Scheduling and InfiniBand Network Interconnection in High Performance Computing System Based on Stochastic Petri Nets). | 0 | 0.34 | 2015 |
Property Checking for 1-Place-Unbounded Petri Nets | 2 | 0.41 | 2010 |
Compositional analysis for regularity, liveness and boundedness | 0 | 0.34 | 2005 |
Characterizing Liveness Monotonicity for Weighted Petri Nets in Terms of Siphon-Based Properties | 1 | 0.39 | 2003 |