This paper explores Input-Output Conformance (IOCO) test generation with Colored Petri Nets (CPN). A test generation oriented CPN model and CPN based IOCO relation is proposed. Feasible test cases are generated by model simulation with the proof of its soundness. The method integrates the merits the IOCO testing theory and the CPN modeling synergistically, and is applied as a nontrivial and com...

A large number of children today are at risk of a specific subtype of childhood maltreatment, physical neglect. The global prevalence of self-reported childhood physical neglect (CPN) was recently estimated to be 16.3% [1]. The adverse effects of CPN appear to be as severe as those observed in other subtypes of abuse. CPN is associated with an increase in the risk of substance abuse, risky sexu...

The circular peak set of a permutation σ is the set {σ(i) | σ(i−1) < σ(i) > σ(i+1)}. In this paper, we focus on the enumeration problems for permutations by circular peak sets. Let cpn(S) denote the number of the permutations of order n which have the circular peak set S. For the case with |S| = 0, 1, 2, we derive the explicit formulas for cpn(S). We also obtain some recurrence relations for th...

The interactions between a social robot and the user consist of continuous communication behavior involving different data types that can be subject to cybersecurity attacks prone privacy concerns. In this paper, we use Colored Petri Net (CPN) develop two graphical models illustrate patterned during such interaction. Using CPN, model analyze complicated system considering synchronization concur...

The neocortex is composed of many distinct subtypes of neurons that must form precise subtype-specific connections to enable the cortex to perform complex functions. Callosal projection neurons (CPN) are the broad population of commissural neurons that connect the cerebral hemispheres via the corpus callosum (CC). Currently, how the remarkable diversity of CPN subtypes and connectivity is speci...

The possibility in recent years that chronic infection with Chlamydia pneumoniae (CPn) may represent a risk factor for atherosclerosis or a mechanism of rapid progression of ischemic heart disease, or both, has attracted the attention of investigators and clinicians all over the world. After the first description of a seroepidemiologic association between antibody titers against the intracellul...

BACKGROUND Serologic diagnosis of Chlamydophila pneumoniae (Cpn) infection routinely involves assays for the presence of IgG and IgM antibodies to Cpn. Although IgA antibodies to Cpn have been found to be of interest in the diagnosis of chronic infections, their significance in serological diagnosis remains unclear. The microimmunofluorescence (MIF) test is the current method for the measuremen...

OBJECTIVE To investigate the antigenic effect of a peptide containing two epitopes of Chlamydia pneumoniae (Cpn) on atherosclerotic lesion formation in mice infected with Cpn. MATERIALS AND METHODS Six-week-old Apob(tm2Sgy)Ldlr(tm1Her)/J mice were immunized using a repetitive immunization multiple-sites strategy with KLH-conjugated peptides derived from the major outer membrane protein and th...

• Celiac plexus neurolysis (CPN)/celiac plexus block (CPB) is used to treat excruciating cancerrelated abdominal pain.1 • CPN is done via injecting 50%–100% alcohol into the celiac plexus, which is located under the diaphragm at the level of T12-L1 adjacent to the abdominal aorta and the take-off of the celiac trunk.2 • Endoscopic ultrasound guided neurolysis (EUS CPN) has been found to have 85...