Search research articles

ABOUT JoVE

Overview Leadership Blog JoVE Help Center

AUTHORS

Publishing Process Editorial Board Scope & Policies Peer Review FAQ Submit

LIBRARIANS

Testimonials Subscriptions Access Resources Library Advisory Board FAQ

RESEARCH

JoVE Journal Methods Collections JoVE Encyclopedia of Experiments Archive

EDUCATION

JoVE Core JoVE Business JoVE Science Education JoVE Lab Manual Faculty Resource Center Faculty Site

Terms & Conditions of Use

Related Concept Videos

Relation between Mathematical Equations and Block Diagrams

Relation between Mathematical Equations and Block Diagrams

In a spring-mass-damper system, the second-order differential equation describes the dynamic behavior of the system. When transformed into the Laplace domain under zero initial conditions, this equation can be effectively analyzed and manipulated. The transformation into the Laplace domain converts differential equations into algebraic equations, simplifying the process of isolating the output.

Multi-input and Multi-variable systems

Multi-input and Multi-variable systems

Cruise control systems in cars are designed as multi-input systems to maintain a driver's desired speed while compensating for external disturbances such as changes in terrain. The block diagram for a cruise control system typically includes two main inputs: the desired speed set by the driver and any external disturbances, such as the incline of the road. By adjusting the engine throttle, the system maintains the vehicle's speed as close to the desired value as possible.
In the absence of...

Mechanistic Models: Compartment Models in Individual and Population Analysis

Mechanistic Models: Compartment Models in Individual and Population Analysis

Mechanistic models are utilized in individual analysis using single-source data, but imperfections arise due to data collection errors, preventing perfect prediction of observed data. The mathematical equation involves known values (Xi), observed concentrations (Ci), measurement errors (εi), model parameters (ϕj), and the related function (ƒi) for i number of values. Different least-squares metrics quantify differences between predicted and observed values. The ordinary least squares (OLS)...

Mathematical Modeling: Problem Solving

Mathematical Modeling: Problem Solving

Mathematical modeling transforms real-world scenarios into mathematical expressions, allowing for structured problem-solving and analysis. This process involves defining the situation, assigning variables to measurable quantities, selecting an appropriate model, and solving the resulting equation. Such models are invaluable in finance, providing precise methods to evaluate investments, loans, and repayment structures.A widely used example is the calculation of fixed monthly payments on a loan,...

Net Change Theorem

Net Change Theorem

The Net Change Theorem is a fundamental principle in calculus that establishes a direct relationship between a function’s rate of change and its accumulated change over an interval. Mathematically, it states that the definite integral of a function's derivative over a given interval [a,b] yields the net change in the original function:This theorem has significant applications in various real-world scenarios, including physics, economics, and engineering. A particularly useful application is in...

Block Diagram Reduction

Block Diagram Reduction

The process of deriving the transfer function of a control system often involves reducing its block diagram to a single block. This simplification can be achieved through a series of strategic operations, including relocating branch points and comparators. These operations preserve the overall function of the system while allowing for easier manipulation and combination of blocks.
The first step in this process is the identification and relocation of a branch point. A branch point, where a...

You might also read

Related Articles

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

Sort by

Same author

Terahertz metamaterial-prism hybrid sensors for the detection of microorganisms.

Optics express·2025

Same author

Evaluating antimicrobial utilization in 20 Korean long-term care hospitals: a call to action for antimicrobial stewardship.

The Journal of hospital infection·2024

Same author

Clinical characteristics and management of orbital apex syndrome: a 10-year multicentre experience.

Rhinology·2024

Same author

Development of metastatic lung adenocarcinoma in a twenty-year-old skin graft site on the scalp: A case report.

Indian journal of dermatology, venereology and leprology·2023

Same author

[Laparoscopic transchiatal access in Boerhaave syndrome].

Khirurgiia·2022

Same author

Wells' syndrome following Oxford-AstraZeneca COVID-19 vaccination.

Journal of the European Academy of Dermatology and Venereology : JEADV·2022

Search research articles

Related Experiment Video

Updated: Jul 7, 2026

RBDT: A Computerized Task System based in Transposition for the Continuous Analysis of Relational Behavior Dynamics in Humans

RBDT: A Computerized Task System based in Transposition for the Continuous Analysis of Relational Behavior Dynamics in Humans

Published on: July 17, 2021

Petri nets modeling and analysis using extended bag-theoretic relational algebra.

Y C Kim¹, T G Kim

¹Dept. of Electr. Eng., Korea Adv. Inst. of Sci. & Technol., Taejon.

IEEE Transactions on Systems, Man, and Cybernetics. Part B, Cybernetics : a Publication of the IEEE Systems, Man, and Cybernetics Society

|January 1, 1996

Summary

This study introduces a novel framework for analyzing Petri nets using relational databases. It addresses state space explosion by formalizing Petri nets with bag relations and SQL queries for efficient system behavior analysis.

Related Experiment Videos

Last Updated: Jul 7, 2026

RBDT: A Computerized Task System based in Transposition for the Continuous Analysis of Relational Behavior Dynamics in Humans

RBDT: A Computerized Task System based in Transposition for the Continuous Analysis of Relational Behavior Dynamics in Humans

Published on: July 17, 2021

Area of Science:

Computer Science
Software Engineering
Database Systems

Background:

Petri nets are essential for modeling concurrent and reactive systems.
Analyzing Petri nets provides critical insights into system behavior.
A significant challenge in Petri net analysis is the state space explosion problem during simulation.

Purpose of the Study:

To propose an efficient framework for modeling and analyzing Petri nets.
To overcome the limitation of state space explosion in Petri net analysis.
To leverage relational database technologies for enhanced Petri net analysis.

Main Methods:

Formalizing Petri nets using bag relations, an extension of conventional relational algebra.
Developing analysis algorithms based on bag-theoretic relational algebra.
Representing Petri net properties as queries in standard SQL within a commercial database system.

Main Results:

A practical framework for Petri net modeling and analysis has been developed.
The framework effectively manages large state spaces, mitigating the explosion problem.
Analysis algorithms are implemented using bag relations and executed via SQL queries.

Conclusions:

The proposed framework offers an efficient approach to Petri net analysis.
Relational database technology provides a robust platform for managing complex system models.
This method enhances the practical applicability of Petri nets in analyzing concurrent systems.