✦ LIBER ✦

A Fuzzy Petri Net Tool For Modeling and Verification of Knowledge-Based Systems

✍ Scribed by Koriem, S. M.

Book ID: 115543096
Publisher: Oxford University Press
Year: 2000
Tongue: English
Weight: 337 KB
Volume: 43
Category: Article
ISSN: 0010-4620
DOI: 10.1093/comjnl/43.3.206

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Knowledge net shell (KNS): Petri net bas

Knowledge net shell (KNS): Petri net based development tool for expert systems

✍ Farhad S. Etessami; Gurdeep S. Hura 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 827 KB

Modeling and formal verification of embe

Modeling and formal verification of embedded systems based on a Petri net representation

✍ Luis Alejandro Cortés; Petru Eles; Zebo Peng 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 646 KB

A Fuzzy Petri Net for knowledge represen

A Fuzzy Petri Net for knowledge representation and reasoning

✍ M.L. Garg; S.I. Ahson; P.V. Gupta 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 779 KB

A Petri Net-Based Model for Verification

A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems

✍ YuYue Du; ChangJun Jiang; MengChu Zhou 📂 Article 📅 2009 🏛 IEEE 🌐 English ⚖ 291 KB

BioNetSim: a Petri net-based modeling to

BioNetSim: a Petri net-based modeling tool for simulations of biochemical processes

✍ Junhui Gao; Li Li; Xiaolin Wu; Dong-Qing Wei 📂 Article 📅 2012 🏛 SP Higher Education Press 🌐 English ⚖ 290 KB

Evaluation of verification tools for kno

Evaluation of verification tools for knowledge-based systems

✍ ALUN D. PREECE; STÉPHANE TALBOT; LAURENCE VIGNOLLET 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 330 KB

Validation has emerged as a significant problem in the development of knowledgebased systems (KBS). Verification of KBS correctness and completeness has been cited as one of the most difficult aspects of validation. A number of software tools have been developed to perform such verification, but non