Jove
Visualize
Contact Us
JoVE
x logofacebook logolinkedin logoyoutube logo
ABOUT JoVE
OverviewLeadershipBlogJoVE Help Center
AUTHORS
Publishing ProcessEditorial BoardScope & PoliciesPeer ReviewFAQSubmit
LIBRARIANS
TestimonialsSubscriptionsAccessResourcesLibrary Advisory BoardFAQ
RESEARCH
JoVE JournalMethods CollectionsJoVE Encyclopedia of ExperimentsArchive
EDUCATION
JoVE CoreJoVE BusinessJoVE Science EducationJoVE Lab ManualFaculty Resource CenterFaculty Site
Terms & Conditions of Use
Privacy Policy
Policies

Related Concept Videos

Deductive Reasoning01:16

Deductive Reasoning

Deductive reasoning, or deduction, is the type of logic used in hypothesis-based science. In deductive reasoning, the pattern of thinking moves in the opposite direction from inductive reasoning. It uses a general principle or law to predict specific results. From these general principles, a scientist can predict specific results that remain valid as long as the general principles are correct.For example, a researcher can make specific predictions from the hypothesis "butterflies are attracted...
Inductive Reasoning00:59

Inductive Reasoning

Inductive reasoning is a form of logical thinking that uses related observations to arrive at a general conclusion. It is uncertain and operates in degrees to which the conclusions are credible. As such, inductive arguments can be weak or strong, rather than valid or invalid, and conclusions can be used to formulate testable, falsifiable hypotheses.Inductive reasoning is common in descriptive science. A life scientist makes observations and records them. This data can be qualitative or...
Formulating and Validating Nursing Diagnosis I01:26

Formulating and Validating Nursing Diagnosis I

A nursing diagnosis is written when the nurse recognizes a cluster of essential patient data indicating health problems treated with independent nursing interventions. The standardized terminologies of a nursing diagnosis help nurses identify and treat patients' problems. Every electronic health record that uses nursing diagnosis must employ standard diagnostic terminology. Developing an efficient, individualized care plan begins with accurate nursing diagnoses.
There are thirteen domains for...
Data Validation01:03

Data Validation

Data validation is an essential part of a comprehensive assessment. Validation is confirming or verifying and opening the door to gathering more assessment data as it clarifies vague or unclear data. The process of checking and verifying the collected information is called data validation. The primary purpose of data validation is to ensure data is as free from error, bias, and misinterpretation as possible.
Nursing assessment guides are generally based on holistic models rather than medical...
Rational Emotive Behavior Therapy01:24

Rational Emotive Behavior Therapy

Cognitive-behavioral therapies (CBTs) are grounded in the belief that our thoughts profoundly influence our emotions and actions. Advocates of CBT emphasize three core assumptions: first, that cognitions are identifiable and measurable; second, that they are central to psychological functioning; and third, that irrational or maladaptive beliefs can be replaced with rational and adaptive ones. This transformative approach to therapy has paved the way for specific models such as Albert Ellis's...
Critical Thinking II01:25

Critical Thinking II

Critical thinking is a cognitive process with several attributes. The attributes of critical thinking include the following:

You might also read

Related Articles

Articles linked to this work by shared authors, journal, and citation graph.

Sort by
Same author

Cased-Based Reasoning for medical knowledge-based systems.

International journal of medical informatics·2001
Same author

A multi-modal reasoning methodology for managing IDDM patients.

International journal of medical informatics·2000
Same author

Diabetic patients management exploiting case-based reasoning techniques.

Computer methods and programs in biomedicine·2000
Same author

Supporting decisions in diabetic patients management through case-based retrieval.

Studies in health technology and informatics·2000

Related Experiment Video

Updated: Jul 7, 2026

Evidence-based Knowledge Synthesis and Hypothesis Validation: Navigating Biomedical Knowledge Bases via Explainable AI and Agentic Systems
05:47

Evidence-based Knowledge Synthesis and Hypothesis Validation: Navigating Biomedical Knowledge Bases via Explainable AI and Agentic Systems

Published on: June 13, 2025

Behavioral Petri nets: a model for diagnostic knowledge representation and reasoning.

L Portinale1

  • 1Dipartimento di Inf., Torino Univ.

IEEE Transactions on Systems, Man, and Cybernetics. Part B, Cybernetics : a Publication of the IEEE Systems, Man, and Cybernetics Society
|January 1, 1997
PubMed
Summary

This study introduces Behavioral Petri Nets (BPNs) for model-based diagnosis, enhancing system analysis. This approach leverages Petri net techniques for efficient and parallelizable diagnostic processes.

More Related Videos

A Study on an Intelligent Diagnosis and Treatment Assistant System for Acupuncture in Diminished Ovarian Reserve Based on a Knowledge Graph
08:43

A Study on an Intelligent Diagnosis and Treatment Assistant System for Acupuncture in Diminished Ovarian Reserve Based on a Knowledge Graph

Published on: May 29, 2026

Related Experiment Videos

Last Updated: Jul 7, 2026

Evidence-based Knowledge Synthesis and Hypothesis Validation: Navigating Biomedical Knowledge Bases via Explainable AI and Agentic Systems
05:47

Evidence-based Knowledge Synthesis and Hypothesis Validation: Navigating Biomedical Knowledge Bases via Explainable AI and Agentic Systems

Published on: June 13, 2025

A Study on an Intelligent Diagnosis and Treatment Assistant System for Acupuncture in Diminished Ovarian Reserve Based on a Knowledge Graph
08:43

A Study on an Intelligent Diagnosis and Treatment Assistant System for Acupuncture in Diminished Ovarian Reserve Based on a Knowledge Graph

Published on: May 29, 2026

Area of Science:

  • Computer Science
  • Artificial Intelligence
  • Control Engineering

Background:

  • Model-based diagnosis traditionally uses logical formalisms focusing on declarative aspects.
  • Existing methods often lack efficiency and suitability for parallel processing.

Purpose of the Study:

  • To propose a novel approach for model-based diagnosis using Petri nets.
  • To introduce the Behavioral Petri Net (BPN) model for capturing diagnostic processes.
  • To demonstrate the implementation and advantages of this new framework.

Main Methods:

  • Formalizing the diagnostic process within a Petri net framework.
  • Introducing and utilizing the Behavioral Petri Net (BPN) model.
  • Employing Petri net analysis techniques like reachability graph analysis and P-invariant computation.

Main Results:

  • The diagnostic process is formalized in terms of reachability within a BPN.
  • The proposed method is implementable using classical Petri net analysis techniques.
  • The approach demonstrates suitability for parallel processing and utilizes linear algebra.

Conclusions:

  • Behavioral Petri Nets offer a robust framework for model-based diagnosis.
  • The proposed method enhances diagnostic process efficiency and parallelizability.
  • This approach integrates well with existing Petri net analysis tools and techniques.