测试弧相关论文
针对分布式系统在共享资源冲突和消解的复杂性问题，综合考虑时间、空间、约束条件等因素，在混合Petri网同时具备描述离散系统和连续......
将测试弧引入具有确定和随机时延的确定与随机Petri网DSPN系统,并给出了此DSPN系统的定义及其变迁实施条件和实施后果.这不仅增强......
