...
机译:使用改进的Petri网验证基于问题的学习系统
Department of Computer Science and Information Engineering, College of Electrical Engineering and Computer Science, National Taipei University, 151, University Rd., Sanhsia,New Taipei City 237, Taiwan;
Department of Applied Japanese, finwen University of Science and Technology, 99, Anzhong Rd., Xindian Dist., New Taipei City 23154, Taiwan;
Department of Computer Science, Taipei Municipal University of Education, 1, Ai-Kao W. Rd., Taipei 100, Taiwan;
Graduate Institute of Electrical Engineering, College of Electrical Engineering and Computer Science, National Taipei University, 151, University Rd,. Sanhsia, New Taipei City 237,Taiwan;
problem-based learning (PBL); web-based instruction system; petri net theory; minimal siphon; UML activity diagram; AF net;
机译:Petri网的网络不变性验证基于规则的系统的新方案
机译:使用Petri网的Net-Invariants验证基于规则的系统的新方案
机译:使用Petri网验证核电厂的安全关键和控制系统
机译:改进的有色Petri网在SDL指定通信协议建模和验证中的应用
机译:使用轮廓/过渡网(PETRI网,规范,验证)对并发系统进行建模和分析
机译:使用Petri网的威胁学习建模框架用于电子学习系统
机译:Petri网:一种正式的语言,可以指定和验证并发非确定性事件系统
机译:改进petri网(mpNs)的可维护性设计:船载推进系统应用