2. (T) Let CPn be complex projective n-space. (a) Describe the cohomology ring H∗(CPn,Z) and, using the Kunneth formula, the cohomology ring H∗(CPn × CPn,Z). (b) Let ∆ ⊂ CPn×CPn be the diagonal, and δ = i∗[∆] ∈ H2n(CP×CP,Z) the image of the fundamental class of ∆ under the inclusion i : ∆ → CPn × CPn. In terms of your description of H∗(CPn × CPn,Z) above, find the Poincaré dual δ∗ ∈ H2n(CPn × C...

Grading dozens of Petri net models manually is a tedious and error-prone task. In this paper, we present Grade/CPN, a tool supporting the grading of Colored Petri nets modeled in CPN Tools. The tool is extensible, configurable, and can check static and dynamic properties. It automatically handles tedious tasks like checking that good modeling practise is adhered to, and supports tasks that are ...

This paper reports on a challenging case study conducted in the context of the Octopus project where CPN Tools is used to model and analyze the embedded system of digital document printer. Modeling the dynamic behavior of such systems in a predictable way is a major challenge. In this paper, we present the approach where colored Petri nets are used to model the system. Simulation is used to ana...

With the rapid advances in computer science and technology, critical computer-based systems, such as those in aerospace, military, and power industries exhibit more complex dependent and dynamic behaviors, which cannot be fully captured by existing reliability modeling tools. In this paper, we introduce a new reliability modeling tool, called dynamic reliability block diagrams (DRBD), for model...

A new approach to workflow process (re)design is the use of Product Based Workflow Design (PBWD) theory. This theory takes the workflow product as the central concept (instead of the workflow process) and provides a product data model of the structure of information processing in the workflow process. In this paper we introduce a prototype for applying PBWD constructed using CPN Tools. The goal...

CPN Tools is a tool for editing, simulating and analysing Coloured Petri Nets. The GUI is based on advanced interaction techniques, such as toolglasses, marking menus, and bi-manual interaction. Feedback facilities provide contextual error messages and indicate dependency relationships between net elements. The tool features incremental syntax checking and code generation which take place while...

The Transaction Internet Protocol (TIP) aims to facilitate ecommerce by enforcing atomicity guarantees in transactions distributed between several autonomous transaction processing systems. In this work, the authors explore a holiday booking scenario in which a customer is protected by the TIP; in such a way as to prevent ending up with a hotel reservation without the requested flight reservati...

Causal Probabilistic Networks (CPNs), (a.k.a. Bayesian Networks, or Belief Networks) are well-established representations in biomedical applications such as decision support systems and predictive modeling or mining of causal hypotheses. CPNs (a) have well-developed theory for induction of causal relationships, and (b) are suitable for creating sound and practical decision support systems. Whil...

State space analysis is one of the main approaches to model-based verification of concurrent systems and is one of the most successfully applied analysis methods for Coloured Petri Nets (CP-nets or CPNs) [13, 16, 17]. The basic idea of state space exploration and analysis is to compute all reachable states and state changes of the concurrent system under consideration and represent these as a d...