Verification of problem-based learning systems using modified petri nets

Authors:
Victor R. L. Shen;Yu-Ying Wang;Cheng-Ying Yang;Szu-Tso Yeh
Affiliations:
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, T ...;Department of Applied Japanese, Jinwen 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
Venue:
Expert Systems with Applications: An International Journal
Year:
2012

Citing 8
Cited 0

Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems
Semantics of Control-Flow in UML 2.0 Activities

VLHCC '04 Proceedings of the 2004 IEEE Symposium on Visual Languages - Human Centric Computing
Intuitive Mapping of UML 2 Activity Diagrams into Fundamental Modeling Concept Petri Net Diagrams and Colored Petri Nets

ECBS '08 Proceedings of the 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems
Efficient deadlock prevention in Petri nets through the generation of selected siphons

ACC'09 Proceedings of the 2009 conference on American Control Conference
From UML Statecharts and Collaboration Diagrams to Coloured Petri Nets Models: A Graph Transformation Based Approach for Modelling and Analysis of Business Processes in Virtual Enterprises

SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods
Verification of Knowledge-Based Systems Using Predicate/Transition Nets

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
On Siphon Computation for Deadlock Control in a Class of Petri Nets

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Problem-based learning as an effective tool for teaching computer network design

IEEE Transactions on Education

Quantified Score

Hi-index	12.05

Visualization

Abstract

In this paper, we intend to verify a web-based system on problem-based learning (PBL). To consider the design flow of the web-based PBL system, it is essential to avoid the potential hazard introduced by a logically incorrect system design. In order to eliminate the potential hazard, we define a new class of Petri net, namely, an Activity Flow (AF) net, which is suitable to be converted from a UML (Unified Modeling Language) activity diagram. Through the siphon-based deadlock detection of the AF net, we can find whether there is a process hazard in the UML activity diagram or not. This is helpful to implement the PBL system and to ensure the correct activities and the right control flow. In addition, we attempt to enhance the quality of the system verification by using a questionnaire. Thus we can interpret the user's level of satisfaction with the designed PBL system. These two verification approaches bring us to achieve an adequately positive response to the web-based PBL system.