A high-level Petri nets-based approach to verifying task structures

IEEE Transactions on Knowledge and Data Engineering

Volumn 14, Issue 2, 2002, Pages 316-335

  Lee, Jonathan ^a,b   Lai, Lein F ^c  

^a IEEE   (Taiwan)

^b NATIONAL CENTRAL UNIVERSITY   (Taiwan)

^c Chienkuo Institute of Technology   (Taiwan)

Author keywords

High level Petri nets; Knowledge based systems; Requirements specifications; Task structures; Verification

Indexed keywords

TASK STRUCTURES;

CONSTRAINT THEORY; MAPPING; MATHEMATICAL MODELS; PETRI NETS; RELAXATION PROCESSES; SEMANTICS;

KNOWLEDGE BASED SYSTEMS;

EID: 0036510175     PISSN: 10414347     EISSN: None     Source Type: Journal    
DOI: 10.1109/69.991719     Document Type: Article

References (46)

1. Testing and correcting rule-based expert systems
2. Two aspects of the validation and verification of knowledge-based systems
3. Constraint hierarchies
4. Compositional validation of time-critical systems using communicating time Petri nets
5. Task-structure analysis for knowledge modeling
6. Validation of nonmonotonic knowledge-based systems
7. A conventional approach to expert systems development
8. An assumption-based tms
9. A multiuser computation facility for education and research
10. A preliminary architecture for a basic data-flow processor
11. Proving properties of real-time systems through logical specifications and Petri net models
12. An incremental constraint solver
13. A comprehensive framework for knowledge-base verification and validation
14. A unified high-level Petri net formalism for time-critical systems
15. Knowledge-based reduction: A new approach to checking knowledge bases for inconsistency and redundancy
16. Hierarchies in coloured Petri nets
17. Coloured Petri nets: A high level language for system design and analysis
18. An integrated design environment for performance and dependability analysis
19. Algorithms for constraint-satisfaction problems: A survey
20. Task structures as a basis for modeling knowledge-based systems
21. New approach to requirements trade-off analysis for complex systems
22. Verifying task-based specifications in conceptual graphs
23. Task-based specifications through conceptual graphs
24. A fuzzy Petri net-based expert system and its application to damage assessment of bridges
25. Analyzing user requirements by use cases: A goal-driven approach
26. Developing a strategy for expert system verification and validation
27. Consistency in networks of relations
28. Explanation-based generalization: A unifying view
29. Petri nets: Properties, analysis and application
30. Static and dynamic verification of rule-based systems using digraphs
31. Investigating the applicability of Petri nets for rule-based system verification
32. Knowledge base verification
33. Formulating multiagent, dynamic-world problems in the classical planning framework
34. Verifying and testing expert system conceptual models
35. Knowledge specification of an expert system
36. Building validation tools for knowledge-based systems
37. Components of expertise
38. Completeness and consistency in a rule-based system
39. The roles of the task structure and domain functional models
40. Task structure semantics through process algebra
41. Verification of workflow task structures: A Petri-net-based approach
42. Enhanced high-level Petri nets with multiple colors for knowledge verification/validation of rule-based expert systems
43. Designing verifiable expert systems
44. Prepare: A tool for knowledge base verification