Reachability of nonsynchronized choice Petri nets and its applications.

IEEE Trans Syst Man Cybern B Cybern

Department of Management and Information Science, National Cheng Chi University, Taipei, Taiwan.

Published: December 2005

A new local structure called a second-order structure was proposed to generate a new class of nets called synchronized choice nets (SNC). SNC covers well-behaved free choice nets. Reachability is no longer P-Space hard problem, but can be solved with polynomial time complexity. How to extend them to non-SNC and its application to deadlock detection in flexible manufacturing systems are discussed.

Download full-text PDF

Source
http://dx.doi.org/10.1109/tsmcb.2005.850171DOI Listing

Publication Analysis

Top Keywords

choice nets
8
reachability nonsynchronized
4
nonsynchronized choice
4
choice petri
4
nets
4
petri nets
4
nets applications
4
applications local
4
local structure
4
structure called
4

Similar Publications

Background: Informal Healthcare Providers (IHCPs), including Proprietary Patent Medicine Vendors (PPMVs), drug peddlers, traditional healers, and herbal drug sellers are often the first choice for malaria treatment, especially in urban slums. Unplanned urbanization significantly impacts malaria transmission by creating cities with inadequate safety nets and healthcare access, increasing reliance on IHCPs. While the World Health Organization recognizes IHCP's crucial role and emphasizes integrating them into formal healthcare for improved malaria care, they lack requisite training in malaria management and operate outside official regulations, raising concerns about the quality of care they provide.

View Article and Find Full Text PDF

The cerebellum, identified to be active during cognitive and social behavior, has multisynaptic connections through the cerebellar nuclei (CN) and thalamus to cortical regions, yet formation and modulation of these pathways are not fully understood. Perineuronal nets (PNNs) respond to changes in local cellular activity and emerge during development. PNNs are implicated in learning and neurodevelopmental disorders, but their role in the CN during development is unknown.

View Article and Find Full Text PDF

Pleiotrophin Overexpression Reduces Adolescent Ethanol Consumption and Modulates Ethanol-Induced Glial Responses and Changes in the Perineuronal Nets in the Mouse Hippocampus.

CNS Neurosci Ther

December 2024

Departamento de Ciencias Farmacéuticas y de la Salud, Facultad de Farmacia, Universidad san Pablo-CEU, CEU Universities, Urbanización Montepríncipe, Boadilla del Monte, Spain.

Aims: To investigate whether pleiotrophin (PTN) overexpression influences ethanol consumption during adolescence and its effects on glial responses, neurogenesis, and perineuronal nets (PNNs) in the mouse hippocampus.

Methods: Male and female adolescent transgenic mice with elevated PTN levels (Ptn-Tg) and controls underwent an intermittent access to ethanol (IAE) 2-bottle choice protocol. Ethanol consumption, PTN levels, neurogenesis, and glial responses were measured in the hippocampus.

View Article and Find Full Text PDF
Article Synopsis
  • Horses were studied to see how using hay nets affects their health, specifically looking at skeletal issues and pain thresholds.
  • In a year-long study, 13 horses were divided into two groups, one with hay nets and the other without, and changes in their health metrics were evaluated.
  • Results showed that while horses with hay nets had slightly more cervical subluxations, they also exhibited better cervical range of motion, indicating that using hay nets may have minimal impacts on horse health overall.
View Article and Find Full Text PDF

Background: Primary hepatic neuroendocrine tumors (PHNETs) are rare, accounting for approximately 0.3 % of all neuroendocrine tumors (NETs) and are often difficult to diagnose due to their nonspecific symptoms and imaging features. Standard diagnostic and treatment protocols are lacking due to their rarity, but imaging and immunohistochemistry (IHC) remain key tools for diagnosis.

View Article and Find Full Text PDF

Want AI Summaries of new PubMed Abstracts delivered to your In-box?

Enter search terms and have AI summaries delivered each week - change queries or unsubscribe any time!