At the Institute of Control and Automation Engineering Design/CPN has been used to model the European Control System (ETCS) within a project for the Deutsche Bahn AG (German railways). This paper reports of experiences in modelling this complex, distributed automation system using Coloured Petri Nets and the Design/CPN tools. We will concentrate on some technical issues. However, for motivation...

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

In this paper, we proposed an authentication method according to Diffie-Hellman. First, we introduce different methods for authentication in IEEE.802.16 then we proposed an authentication method according to Diffie-Hellman and in the last we compare different methods for authentication to improve security in IEEE802.16e. CPN is a useful for simulation and compare protocol together so we use CPN...

In this paper a text format for High-level Petri Net (HLPN) diagrams is presented. The text format is designed to serve as a platform-independent le format for the Design/CPN tool. It is consistent with the forthcoming standard for High-level Petri Nets. The text format may also be seen as our contribution to the development of an open, tool-independent interchange format for High-level Petri n...

Business Process Redesign aims to radically improve the performance of business processes. One of the approaches to derive such an improved process design is an evolutionary approach, making use of redesign heuristics (Reijers, 2003). Simulation of the redesigned business process comes into play if one has to decide whether the redesign is better than the previous process design, or if one need...

This paper reports on an exercise on constructing a visual animation layer for a behaviourally-intensive reactive system. We assume that the requirements of the system under consideration are described by use cases, and the behaviour of each use case is detailed by a collection of scenario descriptions. These use cases and scenarios are translated into a Coloured Petri Net (CPN) model, which is...

Experienced Petri net modelers model in terms of patterns, just like object-oriented programmers use the design patterns of Gamma et al. So far there is no any structured collection of patterns for Colored Petri Nets. We have empirically collected 34 patterns in Colored Petri Nets and documented them in the pattern format. The patterns focus on the interplay between data-flow and control-flow, ...

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

Formal methods help the development of secure systems by reducing ambiguities in security policy specifications and providing mathematical verification tools. By the formal verification, it is possible to confirm security related properties hold in a system. In this paper, we propose an interpretation of Coloured Petri Net(CPN) [1], [2] with security considerations for the formal specification ...

In a military deployment, the operational availability of deployed equipment will be affected by many factors including equipment usage rates, sparing policy, and importantly the composition and distribution of maintenance personnel. In this paper, we present a Coloured Petri Net model that captures the potentially complex defence logistics maintenance process that links these factors together....