Coloured Petri net (CPN) has been widely adopted in various areas in Computer Science, including protocol specification, performance evaluation, distributed systems and coordination in multi-agent systems. It provides a graphical representation of a system and has a strong mathematical foundation for proving various properties. This paper proposes a novel representation of a coloured Petri net ...

An approach to business process reengineering (BPR) is presented and illustrated in the paper. The approach is based on Coloured Petri Nets (CPN) as a general tool for modeling, simulation and analysis of system processes. In realization of a BPR project there are two crucial phases in which the AS-IS model and the TO-BE model are created. This implies the use of the appropriate techniques for ...

This paper develops a new family of convexity-preserving splines of order n, hereby entitled the CPn-spline, that preserves convexity when derivatives at the data points satisfy some reasonable conditions. The spline comprises four components: a constant term, a first order term, and two nth order binomials. A slope-averaging-method is proposed for the general implementation of the new spline. ...

TinyOS is a widely used platform for the development of networked embedded systems offering a programming model targeting resource constrained devices. We present a software engineering approach where Coloured Petri Net (CPNs) models are used as a starting point for developing protocol software for the TinyOS platform. The approach consists of five refinement steps where a platform-independent ...

To explore the relationship between certain pathogens, such as chlamydia pneumonia (Cpn) and cytomegalovirus (CMV), and carotid atherosclerosis (AS) in a Chinese population.Twenty-five carotid atherosclerotic stenosis patients from the Beijing Tiantan Hospital (affiliated with Capital Medical University) participated in the study. After undergoing digital subtraction angiography (DSA) and/or co...

OBJECTIVE Chlamydia pneumoniae (Cpn) infection of vascular smooth muscle cells increases interleukin-6 (IL-6) secretion in vitro. In vivo, IL-6 stimulates liver C-reactive protein (CRP) production. Because serum levels of IL-6 and CRP are independent risk factors for stroke and myocardial infarction (MI), we investigated whether Cpn burden in carotid plaques might provide a link between plaque ...

OBJECTIVE With the use of data from 3 Louisiana State University Health Sciences Center (LSUHSC) publications, various parameters for buttock/thigh-level sciatic nerve and tibial and common peroneal divisions/nerve injuries were summarized, and outcomes were compared. METHODS Data from 806 buttock/thigh-level sciatic nerve and tibial and common peroneal division/nerve injury repairs were summ...

Abstract A complementary system for a given logic is proof whose theorems are exactly the formulas that not valid according to in question. This article contribution theory of classical propositional logic. In particular, we present proof-net system, $$\textsf{CPN}$$ CPN , sound and complete with respect set ...

Chaperonins are a class of proteins that facilitate the assembly of oligomeric proteins (Hemmingsen et al., 1988). In plants cpn-60 are present in both plastids and the mitochondria, however, the mitochondrial form is different from either subunit of the plastid chaperonin (Martel et al., 1990). Mitochondrial chaperonin has been cloned from a number of plant species including Arabidopsis, maize...