Design/CPN - A Computer Tool for Coloured Petri Nets

In this paper, we describe the computer tool Design/CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have been invested in the development of Design/CPN. It is used world-wide by more than 200 companies and research institutions. For the presentation, we draw from the experiences gained in recent industrial application using Coloured Petri Nets in the design, validation, and verification of communication protocols for audio/video systems

Analysing Coloured Petri Nets by the Occurrence Graph Method

This paper provides an overview og the work done for the author's PhD thesis. The research area of Coloured Petri Nets is introduced, and the available analysis methods are presented. The occurrence graph method, which is the main subject of this thesis, is described in more detail. Summaries of the six papers which, together with this overview, comprise the thesis are given, and the contributions are discussed.A large portion of this overview is dedicated to a description of related work. The aim is twofold: First, to survey pertinent results within the research areas of -- in increasing generality -- Coloured Petri Nets, High-level Petri Nets, and formalisms for modelling and analysis of parallel and distributed systems. Second, to put the results obtained in this thesis in a wider perspective by comparing them with important related work

Verification of communication protocols with coloured Petri nets

In this thesis we point out different methods for verification of communication protocols. Each method is presented in short. In addition, several tools which support mentioned methods are also presented. Next, we primarily focus on a method called coloured Petri nets which is graphically oriented language for specification, simulation and verification of communication protocols. With the help of coloured Petri nets we can present a protocol as a net which consists of places and transitions. Places and transitions are then connected with directional arcs. Then, we take a look at a few tools for work with coloured Petri nets. We mainly focus on a tools called CPN Tools. CPN Tools is used for constructing a model of a token bucket which is a traffic shaping protocol. When the model is constructed we can verify it. During verification we check some of the most important properties of a model. On the basis of results we get, we can then upgrade and fix the erros in the model

Design/CPN - A Computer Tool for Coloured Petri Nets

. In this paper, we describe the computer tool Design/CPN supporting editing, simulation, and state space analysis of Coloured Petri Nets. So far, approximately 40 man-years have been invested in the development of Design/CPN. It is used world-wide by more than 200 companies and research institutions. For the presentation, we draw from the experiences gained in a recent industrial application using Coloured Petri Nets in the design, validation, and verification of communication protocols for audio/video systems. 1 Introduction Coloured Petri Nets (CP-nets or CPN) [11,12] is a powerful graphical language for design, specification, validation, and verification of systems. CP-nets have a wide range of application areas and many projects have been carried out in the industry and documented in the literature, e.g., in the areas of communication protocols [6], operating systems [3], hardware designs [7], embedded systems [17], software system designs [18], and business process re-engineerin..

Un modelo de control inteligente para sistemas de manufactura basado en los paradigmas holónico y multi-agente

Los Sistemas de control Inteligente de Manufactura son organizaciones altamente distribuidas, que toman ventaja de las tecnologías de la información y las comunicaciones, de las técnicas de inteligencia artificial y de la teoría moderna de control, integrándolas en estos sistemas que compiten en un medio altamente dinámico y de economías agiles. En estas circunstancias, el desafío se ha centrado en desarrollar sistemas de control inteligente con capacidades de autonomía, cooperación y de inteligencia, adaptación rápida a los cambios del entorno y más robustos contra la ocurrencia de disturbios. Para ello se han propuesto varias arquitecturas basadas en los paradigmas holónico (control holónico) y la inteligencia artificial distribuida mediante sistemas Multi-Agente. Por definición, las unidades de producción holónicas son unidades autónomas que permiten el modelamiento de la información e infraestructura que compone el sistema de control inteligente de manufactura. El holón recurso definido como componente de la unidad de producción holónica, permite el modelamiento del comportamiento de las dinámicas existentes en los elementos que realizan una parte del proceso de manufactura. La misión y la ingeniería del holón representan las componentes funcionales del holón y representan el objetivo y el conocimiento de producción respectivamente. En este trabajo se propone desarrollar un modelo de control inteligente que incluya las exigencias de modelamiento, diseño y análisis de los sistemas de control desde la teoría de sistemas dinámicos a eventos discretos, y atributos y requerimientos de representación tomados desde los paradigmas Holónico y Multi-Agente. / Abstract. The intelligent control manufacturing systems are organizations highly distributed. They take advantage from information technologies and communications, from intelligent artificial techniques and modern theory control, integrate them in these systems that compete among a highly dynamic medium and agile economics. In these circumstances, the challenge has centered in developing intelligent control systems with features of autonomy, cooperation and intelligence, fast adaptation facing the environment changes, having robust parameters against the disturbs occurrence. Several architectures have been presented, based in holonic paradigm (holonic control) and intelligent artificial distributed through Multi-Agent systems. By definition, the holonic production units are autonomous elements that permit to model information an infrastructure composing the intelligent control manufacturing system. The resource holon defined as a component of the holonic production unit, permit the modeling of the existing dynamics in the elements to do a part of manufacturing process. The mission and engineering of the holon represent the functional components and the objective and knowledge of production respectively. This work propose to developing a intelligent control model including the modeling exigencies, design and analysis from control systems and their dynamic theory to discrete events, with the attributes a requirements took from holonic paradigm and Multi-agent.Maestrí

The Symmetry Method for Coloured Petri Nets

This booklet is the author's PhD-dissertation

Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN.

This report contains the proceedings of the Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN, October 13-15, 1999. The workshop was organised by the CPN group at the Department of Computer Science at the University of Aarhus, Denmark. The individual papers are available in electronic form via the web pages: http://www.daimi.au.dk/CPnets/workshop99