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 Experiment Videos

Compositional time Petri nets and reduction rules.

J Wang1, Y Deng, M Zhou

  • 1Sch. of Comput. Sci., Florida Int. Univ., Miami, FL.

IEEE Transactions on Systems, Man, and Cybernetics. Part B, Cybernetics : a Publication of the IEEE Systems, Man, and Cybernetics Society
|February 7, 2008
PubMed
Summary
This summary is machine-generated.

Related Concept Videos

You might also read

Related Articles

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

Sort by
Same author

Reaction of cytochrome bo3 with oxygen: extra redox center(s) are present in the protein.

Biochemistry·1995
Same author

Regulation of striatal cyclic-3',5'-adenosine monophosphate accumulation and GABA release by glutamate metabotropic and dopamine D1 receptors.

The Journal of pharmacology and experimental therapeutics·1995
Same author

Calculation of relative binding free energies and configurational entropies: a structural and thermodynamic analysis of the nature of non-polar binding of thrombin inhibitors based on hirudin55-65.

Journal of molecular biology·1995
Same author

Hydroxylated aromatic inhibitors of HIV-1 integrase.

Journal of medicinal chemistry·1995
Same author

Sevoflurane for outpatient anesthesia: a comparison with propofol.

Anesthesia and analgesia·1995
Same author

Resident bone marrow macrophages produce type 1 interferons that can selectively inhibit interleukin-7-driven growth of B lineage cells.

Immunity·1995
Same journal

Strategic Ability Updating in Concurrent Games by Coalitional Commitment.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2015
Same journal

Meta-Analysis of the First Facial Expression Recognition Challenge.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2012
Same journal

Adjustable model-based fusion method for multispectral and panchromatic images.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2012
Same journal

Face Feature Weighted Fusion Based on Fuzzy Membership Degree for Video Face Recognition.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2012
Same journal

A New Adaptive Fast Cellular Automaton Neighborhood Detection and Rule Identification Algorithm.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2012
Same journal

Human-arm-and-hand-dynamic model with variability analyses for a stylus-based haptic interface.

IEEE transactions on systems, man, and cybernetics. Part B, Cybernetics : a publication of the IEEE Systems, Man, and Cybernetics Society·2012
See all related articles

Compositional time Petri nets (CTPNs) offer a modular approach to modeling complex systems. This method simplifies analysis by reducing components, improving efficiency for time Petri net (TPN) models.

Area of Science:

  • Computer Science
  • Formal Methods
  • System Modeling

Background:

  • Time Petri nets (TPNs) are widely used for modeling real-time systems.
  • Analyzing large TPNs can be computationally intensive.
  • Existing reduction methods often operate at a fine-grained level.

Purpose of the Study:

  • Introduce Compositional Time Petri Net (CTPN) models.
  • Propose component-level reduction rules for TPNs.
  • Enhance the efficiency of TPN analysis.

Main Methods:

  • Developed modular CTPN models composed of components and connectors.
  • Defined component-level reduction rules that preserve external timing properties.
  • Applied CTPNs and reduction rules to model and analyze a command and control system's response time.

Related Experiment Videos

Main Results:

  • CTPNs provide a modular framework for TPNs.
  • Component-level reduction rules simplify TPNs at a coarse level.
  • The proposed method requires fewer reduction applications compared to existing techniques.

Conclusions:

  • CTPNs and their reduction rules offer a more efficient approach to TPN analysis.
  • The method effectively models and analyzes system response times.
  • This approach is beneficial for managing the complexity of real-time systems.