Verification of problem-based learning systems using modified petri nets

Expert Systems with Applications

Volumn 39, Issue 16, 2012, Pages 12636-12649

  Shen, Victor R L ^a   Wang, Yu Ying ^b   Yang, Cheng Ying ^c   Yeh, Szu Tso ^a  

^a NATIONAL TAIPEI UNIVERSITY   (Taiwan)

^b JINWEN UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Taiwan)

^c UNIVERSITY OF TAIPEI   (Taiwan)

Author keywords

AF net; Minimal siphon; Petri net theory; Problem based learning (PBL); UML activity diagram; Web based instruction system

Indexed keywords

AF NET; MINIMAL SIPHONS; PROBLEM BASED LEARNING; UML ACTIVITY DIAGRAMS; WEB-BASED INSTRUCTIONS;

HAZARDS; PETRI NETS; SIPHONS; SYSTEMS ANALYSIS; WEBSITES;

UNIFIED MODELING LANGUAGE;

EID: 84864470319     PISSN: 09574174     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.eswa.2012.05.019     Document Type: Article

References (23)

1. Craig, D. C.; Zuberek, W. M. (2007). Efficient siphon-based deadlock detection in Petri nets. In 3-rd international conference on computer science and information systems, Athens, Greece, July 2007 (pp. 313-325).
2. Darabi, H.; Galanter, W. L.; Lin, J. Y.-Y.; Buy, U.; Sampath, R. (2009). Modeling and integration of hospital information systems with Petri nets. In IEEE/INFORMS international conference on service operations, logistics and informatics SOLI, July 2009 (pp. 190-195).
3. ElMansouri, R.; Chaoui, A.; Kerkouche, E.; Khalfaoui, K. (2009). From UML state charts and collaboration diagrams to coloured Petri nets models: a graph transformation based approach for modeling and analysis of business processes in virtual enterprises. In Fourth South-East European workshop on formal methods, December 2009 (pp. 73-78).
4. Fumagalli, I.; Piroddi, L.; Cordone, R. (2010). A reachability graph partitioning technique for the analysis of deadlock prevention methods in bounded Petri nets. In Proceedings in American control conference (ACC), July 2010 (pp. 3365-3370).
5. B.R. Geissman, and R.D. Schultz Verification and validation of expert systems AI Expert 3 2 1988 26 33
6. Jeng, M.-D.; Lu, W. (2002). Extension of UML and its conversion to Petri nets for semiconductor manufacturing modeling. In IEEE international conference on robotics and automation, ICRA, May 2002 (pp. 3175-3180).
7. Jeng, M.-D.; Peng, M. Y. (1996). Generating minimal siphons and traps for Petri nets. In Proceedings in IEEE international conference on systems, man, and cybernetics, October 1996 (Vol. 4, pp. 2996-2999).
8. Jeng, M.-D.; Peng, M. Y. (1997). Petri nets liveness analysis by minimal siphons. In Emerging technologies and factory automation proceedings ETFA 6th international conference on digital object identifier, September 1997 (pp. 315-320).
9. Jiao, L. (2008). A method for verifying deadlock freedom and liveness of Petri nets. In IEEE International Symposium on Circuits and Systems, ISCAS 2008, May 2008 (pp. 209-211).
10. D.L. Kain Problem-based learning for teachers, Grades 6-12 1st ed. 2003 Northern Arizona University
11. Learn UML with astah Community. .
12. N. Linge, and D. Parsons Problem-based learning as an effective tool for teaching computer network design IEEE Transactions on Education 49 1 2006 5 10
13. Z.W. Li, and M.C. Zhou On siphon computation for deadlock control in a class of Petri nets IEEE Transactions on Systems, Man and Cybernetics, Part A: Systems and Humans 38 3 2008 667 679
14. T. Murata Petri nets: Properties, analysis, and applications Proceedings of the IEEE 77 4 1989 541 580
15. Peterson, J. L. (1981). Petri net theory and the modeling of system. Prentice Hall.
16. Piroddi, L.; Cordone, R.; Fumagalli, I. (2009). Efficient deadlock prevention in Petri nets through the generation of selected siphons. In American control conference, June 2009 (pp. 5006-5011).
17. V.R.L. Shen Verification of knowledge-based systems using predicate/transition nets IEEE Transaction on System, Man, and Cybernetics - Part A: System and Humans 38 1 2008
18. Staines, T. S. (2008). Intuitive mapping of UML 2 activity diagrams into fundamental modeling concept Petri net diagrams and colored Petri nets. In 15th Annual IEEE international conference and workshop on the engineering of computer based systems, April 2008 (pp. 191-200).
19. Störrle, H. (2004). Semantics of control-flow in UML 2.0 activities. In Proceedings of the IEEE symposium on visual languages and human centric computing, September 2004 (pp. 235-242).
20. UML 2 Superstructure Specification, V2.11, OMG. .
21. What does Cronbach's Alpha value mean? The FAQ of SPSS, .
22. H.-C. Yen Introduction to Petri net theory Z. Esik, C. Martin-Vide, V. Mitrana, Recent advances in formal languages and applications Studies in computational intelligence Vol. 25 2006 Springer 343 373 [Chapter 14]
23. Zhu, C. Y.; Du, Y. Y. (2010). Application of logical Petri nets in web service composition. In International Conference on Mechatronics and Automation (ICMA), August 2010 (pp. 913-918).