事件驱动Petri网相关硕士博士期刊学术论文

面向对象的软件测试技术研究的主要领域之一就是基于规约的系统测试，该测试技术在系统测试过程中会产生不可预测、事件静止的“死锁......