A model-based method is proposed in this paper for algorithmic generation of diagnosers in coloured Petri net (CPN) form from characteristic input-output traces obtained from a qualitative model of lumped process systems. The qualitative model contains the description of the considered persistent faults in the form of fault indicators, and it is transformed into a CPN. The diagnosers are constr...

Let p be an odd prime number. For n ∈ Z N ∪ {0}, let Cpn {ζ | ζpn 1} be the cyclic group of order p, and let Tp limn→∞Cpn ⋃ n≥0 Cpn Cp∞ be the space of locally constant functions in the p-adic number fieldCp. When one talks of q-extension, q is variously considered as an indeterminate, a complex number q ∈ C, or p-adic number q ∈ Cp. If q ∈ C, one normally assumes that |q| < 1. If q ∈ Cp, one n...

When expert systems based on causal probabilistic networks (CPNs) reach a certai n size and complex­ ity, the "combinatorial explosion monster" tends to be present. We propose an approximation scheme that identifies rarely occurring cases and excludes these from being processed as ordinary cases in a CPN-based expert system. Depending on the topology and the probability distributions of the CPN...

Colored Petri nets (CPNs) have been widely used as a mathematical modeling tool of dynamical systems , both for control and simulation. CPNs are very appealing and appear uncomplicated because of their simple graphical representation. However, as the CPN definition is very concise, specific processes have to be modeled with appropriate modules that sometimes are not easy to conceive. To broaden...

This paper proposes a novel Colored Petri Net (CPN) based dynamic scheduling scheme, which aims at scheduling real-time tasks on multiprocessor system-on-chip (MPSoC) platforms. Our CPN based scheme addresses two key issues on task scheduling problems, dependence detecting and task dispatching. We model inter-task dependences using CPN, including true-dependences, output-dependences, anti-depen...

Cutaneous polyarteritis nodosa (CPN) is an uncommon form of vasculitis. It exists as a separate entity, though bearing similar name with polyarteritis nodosa (PAN) which is an aggressive systemic vasculitis with multi-organ involvement. CPN runs a chronic but benign course. Its aetiology is unknown and it usually presents with painful nodules on the legs with mild constitutional symptoms, and e...

BPEL is becoming the mainstream of service oriented software, there are many exception handling models of BPEL. Toward the problem that how to guarantee the correctness of these models, this paper presents a model checking correctness approach of CPN (Colored Petri Nets)model based on temporal property, describes the temporal property using CTL(Computer Tree Logic). Correctness checking is impl...

Let n > 1 be an integer and p be a prime number. Denote by Cpn the class of non-thin association p-schemes of degree pn. A sharp upper and lower bounds on the rank of schemes in Cpn with a certain order of thin radical are obtained. Moreover, all schemes in this class whose rank are equal to the lower bound are characterized and some schemes in this class whose rank are equal to the upper bound...

Route selection in Cognitive Packet Networks (CPN) occurs continuously for active flows and is driven by the users’ choice of a Quality of Service (QoS) goal. Because routing occurs concurrently to packet forwarding, CPN flows are able to better deal with unexpected variations in network status, while still achieving the desired QoS. Random neural networks (RNN) play a key role in CPN routing a...

Corticostriatal pyramidal cells are heterogeneous in the frontal cortex. Here, we show that subpopulations of corticostriatal neurons in the rat frontal cortex are selectively connected with each other based on their subcortical targets. Using paired recordings of retrogradely labeled cells, we investigated the synaptic connectivity between two projection cell types: those projecting to the pon...