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

Mechanistic Models: Overview of Compartment Models

Mechanistic Models: Overview of Compartment Models

Mechanistic models, a category encompassing both physiological and compartmental modeling, differ from empirical models' approaches to incorporating known factors about the systems being modeled. Empirical models describe data with minimal assumptions, while mechanistic models aim to provide a robust description of available data by specifying assumptions and integrating known factors about the system. Compartmental analysis is a key example of a mechanistic model in pharmacokinetics and...

Simplified Synchronous Machine Model

Simplified Synchronous Machine Model

The Synchronous Machine Model is a fundamental tool in analyzing and ensuring the transient stability of power systems. This model simplifies the representation of a synchronous machine under balanced three-phase positive-sequence conditions, assuming constant excitation and ignoring losses and saturation. The model is pivotal for understanding the behavior of synchronous generators connected to a power grid, particularly during transient events.
In this model, each generator is connected to a...

Modeling and Similitude

Modeling and Similitude

Scaled modeling is a fundamental technique in engineering, enabling the study of large and complex systems by creating smaller, manageable replicas that recreate critical characteristics of the original. In hydrology and civil infrastructure, for example, scaled models of dams help analyze water flow, turbulence, and pressure. This method allows for accurate predictions of real-world behavior within a controlled environment, significantly reducing the cost and time involved in full-scale...

Multicompartment Models: Overview

Multicompartment Models: Overview

Multicompartment models are mathematical constructs that depict how drugs are distributed and eliminated within the body. They segment the body into several compartments, symbolizing various physiological or anatomical areas connected through drug transfer processes such as absorption, metabolism, distribution, and elimination.
These models offer a more comprehensive representation of drug behavior in the body than one-compartment models. They accommodate the complexity of drug distribution,...

Modeling with Differential Equations

Modeling with Differential Equations

Population dynamics can be described mathematically by considering the population size P(t) as a function of time. The rate of change of the population is then represented by the derivative of P(t). A simple assumption is that the rate of growth is proportional to the size of the population itself. This leads to an exponential growth model, where the population increases rapidly without bound. While this is a useful first approximation, it does not reflect realistic long-term...

Three-Compartment Open Model

Three-Compartment Open Model

The three-compartment open model is a pharmacokinetic model used to describe the distribution and elimination of drugs following extravascular administration. It comprises a central compartment representing the plasma and two peripheral compartments. The highly perfused peripheral compartment represents organs and tissues with a rich blood supply, such as the liver, kidneys, and lungs. The scarcely perfused peripheral compartment represents tissues with lower blood supply, such as adipose...

You might also read

Related Articles

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

Sort by

Same author

Shape analysis of subcortical nuclei in Huntington's disease, global versus local atrophy--results from the TRACK-HD study.

Journal of the neurological sciences·2011

Same author

Preparation and characterization of nanoparticles bearing heparin or dextran covalently-linked to poly(methyl methacrylate).

Journal of biomaterials science. Polymer edition·1999

Same author

[Indications and results of surgery of arthrosis deformans of the hip].

La Chirurgia degli organi di movimento·1957

See all related articles

Search research articles

Related Experiment Video

Updated: Jul 7, 2026

The Large-Scale Cultivation of Nematodes to Study Their Collective Behaviors

The Large-Scale Cultivation of Nematodes to Study Their Collective Behaviors

Published on: August 25, 2023

Modeling shared resources with generalized synchronization within a Petri net bottom-up approach.

L Ferrarini¹, M Trioni

¹Dipartimento di Elettronica e Inf., Politecnico di Milano.

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 new Petri net model for representing shared resources in manufacturing systems. The generalized synchronization method is proven compatible with existing theoretical frameworks for liveness and reversibility analysis.

More Related Videos

Basic Caenorhabditis elegans Methods: Synchronization and Observation

Basic Caenorhabditis elegans Methods: Synchronization and Observation

Published on: June 10, 2012

Related Experiment Videos

Last Updated: Jul 7, 2026

The Large-Scale Cultivation of Nematodes to Study Their Collective Behaviors

The Large-Scale Cultivation of Nematodes to Study Their Collective Behaviors

Published on: August 25, 2023

Basic Caenorhabditis elegans Methods: Synchronization and Observation

Basic Caenorhabditis elegans Methods: Synchronization and Observation

Published on: June 10, 2012

Area of Science:

Manufacturing Systems Engineering
Computer Science
Control Theory

Background:

Existing Petri net models for manufacturing systems lack effective representation of shared resources.
Bottom-up and modular approaches are crucial for synthesis and analysis of complex systems.

Purpose of the Study:

To propose a novel Petri net representation for shared resources in manufacturing systems.
To extend the capabilities of existing Petri net models with generalized synchronization.
To ensure compatibility of the new method with established theoretical frameworks.

Main Methods:

Development of a Petri net model incorporating elementary tasks and specific connection types (self-loops, inhibitor arcs, simple synchronizations).
Formalization of generalized synchronization as an extension of simple synchronization, enabling subnet merging.
Theoretical analysis to prove the liveness and reversibility of the developed models.

Main Results:

A simple and effective method for representing shared resources in manufacturing systems using Petri nets is proposed.
Generalized synchronization is formalized and demonstrated to allow merging of subnets.
It is theoretically proven that generalized synchronization can substitute for simple synchronization under specific conditions.

Conclusions:

The proposed Petri net model effectively represents shared resources in manufacturing systems.
The formalized generalized synchronization is compatible with the existing theoretical body for Petri net analysis.
This work enhances the applicability of Petri nets for modeling and analyzing complex manufacturing systems.