CD8(+) T cells play an essential role in immunity to Chlamydia pneumoniae (Cpn). However, the target Ags recognized by Cpn-specific CD8(+) T cells have not been identified, and the mechanisms by which this T cell subset contributes to protection remain unknown. In this work we demonstrate that Cpn infection primes a pathogen-specific CD8(+) T cell response in mice. Eighteen H-2(b) binding pepti...

It is shown that Segal’s theorem on the spaces of rational maps from CP to CPn can be extended to the spaces of continuous rational maps from CPm to CPn for any m 6 n. The tools are the Stone-Weierstraß theorem and Vassiliev’s machinery of simplicial resolutions.

Colored Petri Nets (CPNs) extend the classical Petri net formalism with data, time, and hierarchy. These extensions make it possible to model complex processes as CPNs without being forced to abstract from relevant aspects. Moreover, CPNs are supported by CPN Tools—a powerful toolset that supports the design and analysis of such processes. The expressiveness of the CPN language enables differen...

Process-aware information systems typically log events (e.g., in transaction logs or audit trails) related to the actual execution of business processes. Analysis of these execution logs may reveal important knowledge that can help organizations to improve the quality of their services. Starting from a process model, which can be discovered by conventional process mining algorithms, we analyze ...

Formal models of business processes support the performance analysis of processes and the evaluation of redesign alternatives. This paper presents a formal model to analyze the behavior of resource-constrained processes. The model is developed using Colored Petri Nets (CPN or CP nets) and the supporting software package CPN Tools. In our approach, a business process consists of tasks and resour...

Simulation transparency is becoming more crucial in the decision making process when quantitative computer tools are used to justify some strategies. The coloured petri net (CPN) formalism is a promising modelling approach to foster simulation transparency by means of state space traceability tools, which have been proven to be useful for modelling system dynamics with conflict patterns. E-gove...

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...

Currently,modeling for software is mostly semiformal, such as UML(Unified Modeling Language).The main problem is difficult to analyze semantics and verify correctness for a vital system.CPN(Colored Petri Net)as modeling and verification method provides formal semantics and a number of analysis techniques and tools.This paper presents an approach of formal modeling and validation for software pr...

Hospital mission is to insure patient safety and quality of care associated with any medical processor. Among to provide performance hospitals processors is medicine drugs circuit. Modeling and simulating is an excellent tool that allows understanding this complexity and analyzing performances. In this paper, we propose a simulation models with Colored Petri Net (CPN) of Medicine Drugs Chain. B...