Publications - Publications https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Bcontroller%5D=Publications&cHash=e251ffe69a72380bf7201196bf0427ec en-us PURE Extension typo3support@science.au.dk (Web Department) 30 <![CDATA[Carl Adam Petri]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=fe62ef04-d9fb-499c-9e62-d310acd09e73&tx_pure_pure5%5BshowType%5D=pub&cHash=34fd4e3f52aa44a3c2820bb11ce955f3 Jensen, K., Nielsen, M. Communication Tue, 01 Jan 2019 02:41:24 +0100 fe62ef04-d9fb-499c-9e62-d310acd09e73 <![CDATA[Colored Petri nets]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=923bdb66-4402-4044-bee3-86f465963c9c&tx_pure_pure5%5BshowType%5D=pub&cHash=ff8febe9d3d834a2bdfd58ca3d1ed8c4 Jensen, K., Kristensen, L. M. Research Thu, 01 Jan 2015 02:41:24 +0100 923bdb66-4402-4044-bee3-86f465963c9c <![CDATA[Transactions on Petri Nets and Other Models of Concurrency VII]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=ac4f3cf8-2553-42c3-9260-4dc61e6dced1&tx_pure_pure5%5BshowType%5D=pub&cHash=3610ce4f96171bab337ef04131789395 The second section addresses semantic issues and analysis methods
The third section is devoted to the automatic synthesis of Petri nets
These Transactions publish archival papers in the broad area of Petri nets and other models of concurrency, ranging from theoretical work to tool support and industrial applications. ToPNoC issues are published as LNCS volumes, and hence are widely distributed and indexed. This Journal has its own Editorial Board which selects papers based on a rigorous two-stage refereeing process. ToPNoC contains: - Revised versions of a selection of the best papers from workshops and tutorials at the annual Petri net conferences - Special sections/issues within particular subareas (similar to those published in the Advances in Petri Nets series) - Other papers invited for publication in ToPNoC - Papers submitted directly to ToPNoC by their authors The seventh volume of ToPNoC contains revised material from the 5th International Summer School “Advanced Course on Petri Nets”, held in September 2010 in Rostock, Germany. The nine papers cover a diverse range of topics including modeling, verification, partial order semantics, and synthesis of Petri nets. In compliance with their origin as course material, the papers are written in survey or tutorial style and give a comprehensive overview of the state of the art in their respective areas.]]>
Research Fri, 10 May 2013 02:41:24 +0200 ac4f3cf8-2553-42c3-9260-4dc61e6dced1
<![CDATA[Transactions on Petri Nets and Other Models of Concurrency VI]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=d44f561f-1ca7-4dfe-9bd0-f5abaa6061e8&tx_pure_pure5%5BshowType%5D=pub&cHash=2a75d5918a2485973097d19b98e0932e Research Sun, 01 Jan 2012 02:41:24 +0100 d44f561f-1ca7-4dfe-9bd0-f5abaa6061e8 <![CDATA[Transactions on Petri Nets and Other Models of Concurrency V]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=69f044a2-c80a-48c6-882c-3a8441984c12&tx_pure_pure5%5BshowType%5D=pub&cHash=fe57c561c1f99fbcf036b9a942ec5fad Research Sun, 01 Jan 2012 02:41:24 +0100 69f044a2-c80a-48c6-882c-3a8441984c12 <![CDATA[The sweep-line state space exploration method]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=67ba26bb-7cae-4220-b67b-b38e3f7a8d5d&tx_pure_pure5%5BshowType%5D=pub&cHash=e791bf9606bdfad208acd0d375de0aa7 Jensen, K., Kristensen, L. M., Mailund, T. Research Sun, 01 Jan 2012 02:41:24 +0100 67ba26bb-7cae-4220-b67b-b38e3f7a8d5d <![CDATA[Transactions on Petri Nets and Other Models of Concurrency IV]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=c363f8f7-5398-4947-8eab-5df32a117fda&tx_pure_pure5%5BshowType%5D=pub&cHash=553dd6b77db696530728c29a743181cb Research Fri, 01 Jan 2010 02:41:24 +0100 c363f8f7-5398-4947-8eab-5df32a117fda <![CDATA[Coloured Petri Nets]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=94e23500-c7cd-11df-8cb9-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=4724e3b3bc6a063ce36f18ec560a885e Jensen, K. Research Thu, 01 Jan 1987 02:41:24 +0100 94e23500-c7cd-11df-8cb9-000ea68e967b <![CDATA[Fifth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=7de067a0-c7b9-11df-8cb9-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=fd06f0af8933e13d3fbc1bd88032f1c0 Research Thu, 01 Jan 2004 02:41:24 +0100 7de067a0-c7b9-11df-8cb9-000ea68e967b <![CDATA[Application and Theory of Petri Nets]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=aad44a90-c635-11df-8cb9-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=4a628746f7fae109d7d350325e71be04 Research Wed, 01 Jan 1992 02:41:24 +0100 aad44a90-c635-11df-8cb9-000ea68e967b <![CDATA[Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 1, Basic Concepts]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=ee506f80-6e1d-11df-8c1a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=749e9329c38c3b719452198e53a103a3 Jensen, K. Research Wed, 01 Jan 1992 02:41:24 +0100 ee506f80-6e1d-11df-8c1a-000ea68e967b <![CDATA[6th European Workshop on Applications and Theory of Petri Nets. Proceedings]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=b10a5d40-6cae-11df-8c1a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=bbb1d8053011f288f970630d92bc7f59 Research Tue, 01 Jan 1985 02:41:24 +0100 b10a5d40-6cae-11df-8c1a-000ea68e967b <![CDATA[A Brief Introduction to Coloured Petri Nets]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=92058450-6c9b-11df-8c1a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=5260694355449c7f4012ae7afd77b122 Jensen, K. Research Wed, 01 Jan 1997 02:41:24 +0100 92058450-6c9b-11df-8c1a-000ea68e967b <![CDATA[An Introduction to the Theoretical Aspects of Coloured Petri nets]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=52a6e670-6c99-11df-8c1a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=88bfc3af456824a1037ffeefb90480c6 Jensen, K.
The development of CP-nets has been driven by the desire to develop a modelling language — at the same time theoretically well-founded and versatile enough to be used in practice for systems of the size and complexity that we find in typical industrial projects. To achieve this, we have combined the strength of Petri nets with the strength of programming languages. Petri nets provide the primitives for the description of the synchronisation of concurrent processes, while programming languages provide the primitives for the definition of data types and the manipulation of their data values.
The paper does not assume that the reader has any prior knowledge of Petri nets — although such knowledge will, of course, be a help.
]]>
Research Sat, 01 Jan 1994 02:41:24 +0100 52a6e670-6c99-11df-8c1a-000ea68e967b
<![CDATA[Coloured Petri Nets]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=809b0920-6a56-11df-8c1a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=f43bd612a6785260bb650b7e87e20bd3 Jensen, K.
First CP-nets are introduced by means of a small example and a formal definition of their structure and behaviour is presented. Then we describe how to extend CP-nets by a set of hierarchy constructs (allowing a hierarchical CP-net to consist of many different subnets, which are related to each other in a formal way). Next we describe how to analyse CP-nets, how to support them by various computer tools, and we also describe some typical applications. Finally, a number of future extensions are discussed (of the net model and the supporting software).
The non-hierarchical CP-nets in the present paper are analogous to the CP-nets defined in [35] and the High-level Petri Nets defined in [33]. In all three papers CP-nets (and HL-nets) have two different representations: The expression representation uses are expressions and guards, while the function representation uses linear functions between multi-sets. Moreover, there are formal translations between the two representations (in both directions). In [33] and [35] we used the expression representation to describe systems, while we used the function representation for all the different kinds of analysis. It has, however, turned out that it only is necessary to turn to functions when we deal with invariant analysis, and this means that we now use the expression representation for all purposes — except for the calculation of invariants. This change is important for the practical use of CP-nets — because it means that the function representation and the translations (which are a bit mathematically complex) no longer are parts of the basic definition of CP-nets. Instead they are parts of the invariant method (which anyway demands considerable mathematical skills).
The development of CP-nets has been supported by several grants from the Danish National Science Research Council.
]]>
Research Tue, 01 Jan 1991 02:41:24 +0100 809b0920-6a56-11df-8c1a-000ea68e967b
<![CDATA[Hierarchies in Coloured Petri Nets]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=aa4c4840-6a53-11df-8c1a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=62ac316d8b6c11b10b5febb02656f80c Huber, P., Jensen, K., Shapiro, R. M. Research Tue, 01 Jan 1991 02:41:24 +0100 aa4c4840-6a53-11df-8c1a-000ea68e967b <![CDATA[Petri Net Tool Overview 1986]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=e07ccc40-6a4f-11df-8c1a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=197c2c2cfcc3053257d6759b9d7b6cd1 Jensen, K., Feldbrugge, F. Research Thu, 01 Jan 1987 02:41:24 +0100 e07ccc40-6a4f-11df-8c1a-000ea68e967b <![CDATA[Computer Tools for Construction, Modification and Analysis of Petri Nets.]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=48228760-6a4e-11df-8c1a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=f6ae074ec46484904d9e993a12fcc2f5 Jensen, K.
This paper describes some of the different kinds of tools which are needed in the Petri net area. It describes some of the requirements which these tools must fulfil, in order to support the user in a natural and effective way. Finally some references are given to papers which describe examples of existing Petri net tools.
]]>
Research Thu, 01 Jan 1987 02:41:24 +0100 48228760-6a4e-11df-8c1a-000ea68e967b
<![CDATA[Coloured Petri Nets]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=32fbdd70-6a4c-11df-8c1a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=cb281765b8c543df13657e48d4144914 Jensen, K. Research Thu, 01 Jan 1987 02:41:24 +0100 32fbdd70-6a4c-11df-8c1a-000ea68e967b <![CDATA[The Design of a Program Package for an Introductory Petri Net Course]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=89f50fa0-6a49-11df-8c1a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=6d8c48bc701bf34fc3eb8996f1b42bef Jensen, K. Research Tue, 01 Jan 1985 02:41:24 +0100 89f50fa0-6a49-11df-8c1a-000ea68e967b <![CDATA[Towards Reachability Trees for High-level Petri Nets]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=cded9e70-6a3f-11df-8c1a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=be8dae74f01d24a15e8b01e89a1fe500 Huber, P., Jensen, A. M., Jepsen, L. O., Jensen, K. Research Tue, 01 Jan 1985 02:41:24 +0100 cded9e70-6a3f-11df-8c1a-000ea68e967b <![CDATA[An Introduction to the Practical Use of Coloured Petri Nets]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=bffb5050-6a3a-11df-8c1a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=688fa868a043032b9716fe5451391c96 Jensen, K.
The paper focuses on the practical use of Coloured Petri Nets. It introduces the basic ideas behind the CPN language, and it illustrates how CPN models can be analysed by means of simulation, state spaces and condensed state spaces. The paper also describes how CP-nets can be extended with a time concept. In this way it is also possible to use CP-nets for performance evaluation, i.e., to evaluate the speed by which a system operates. Finally, we describe a set of computer tools that support the use of CP-nets. This tool set is used by more than three hundred organisations in forty different countries — including seventy-five commercial companies. It is available free of charge, also for commercial use.
The present paper does not contain any formal definitions. Instead all ideas and concepts are introduced by means of a number of small examples. Readers who want to consult the formal definitions can find these in [1], [2], [3], and [4]. The latter is a 3-volume text book providing a detailed description of CP-nets and their use. Volume I introduces the basic concepts and definitions. Volume 2 describes the different analysis methods. Volume 3 describes experiences from nineteen projects in which CP-nets and the CPN tools have been put to practical use. Most of the projects have been carried out in an industrial setting.
]]>
Research Thu, 01 Jan 1998 02:41:24 +0100 bffb5050-6a3a-11df-8c1a-000ea68e967b
<![CDATA[Pascal Semantics by a Combination of Denotational Semantics and High-level Petri Nets]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=67eab690-6980-11df-8c1a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=9b891a00f0567dcef257e004ab4d59c7 Jensen, K., Schmidt, E. M. Research Wed, 01 Jan 1986 02:41:24 +0100 67eab690-6980-11df-8c1a-000ea68e967b <![CDATA[Practical Use of High-level Petri Net.]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=ec7a8c90-68c3-11df-8c1a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=6008938991cd3f414e047a9b2acafc56 Research Sat, 01 Jan 2000 02:41:24 +0100 ec7a8c90-68c3-11df-8c1a-000ea68e967b <![CDATA[Workshop on Practical Use of Coloured Petri Nets and Design/CPN]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=0b5823b0-68b1-11df-8c1a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=2c895593c4059c5d0a83f9d0f5cc3924 ]]> Research Thu, 01 Jan 1998 02:41:24 +0100 0b5823b0-68b1-11df-8c1a-000ea68e967b <![CDATA[Second Workshop on Practical Use of Coloured Petri Nets and Design/CPN]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=9acf1680-68b0-11df-8c1a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=6d289a455fd7af693ef174e276e1758b ]]> Research Fri, 01 Jan 1999 02:41:24 +0100 9acf1680-68b0-11df-8c1a-000ea68e967b <![CDATA[Third Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=dd0015a0-68af-11df-8c1a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=f95589bfdb8d7a97e3e4e1cb1b384117 Research Mon, 01 Jan 2001 02:41:24 +0100 dd0015a0-68af-11df-8c1a-000ea68e967b <![CDATA[Fourth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=cf2c2820-68ae-11df-8c1a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=07cbf63b0f00e6b96fb06fdcd55f0e32 Coloured Petri Nets and the CPN tools are now used by more than 750 organisations in 50 different countries all over the world (including 150 commercial companies). The purpose of this event is to bring together some of the users and in this way provide a forum for those who are interested in the practical use of Coloured Petri Nets and the CPN tools.

This booklet contains the proceedings of the Fourth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, August 28-30, 2002. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark.

]]>
Research Tue, 01 Jan 2002 02:41:24 +0100 cf2c2820-68ae-11df-8c1a-000ea68e967b
<![CDATA[Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=7ae277d0-68ac-11df-8c1a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=e7f41461006a5dfc8f66181bcbb1da8d This booklet contains the proceedings of the Sixth Workshop on Practical Use of Coloured Petri Nets and CPN Tools, October 24-26, 2005.

 

]]>
Research Sat, 01 Jan 2005 02:41:24 +0100 7ae277d0-68ac-11df-8c1a-000ea68e967b
<![CDATA[Seventh Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=a3825c10-68ab-11df-8c1a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=f91bb96fcaacc46e5472c036d8402eb2 ]]> Research Sun, 01 Jan 2006 02:41:24 +0100 a3825c10-68ab-11df-8c1a-000ea68e967b <![CDATA[Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=175c1480-68a4-11df-8c1a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=908772b33756bc8574a09483bb1a1e27 Research Mon, 01 Jan 2007 02:41:24 +0100 175c1480-68a4-11df-8c1a-000ea68e967b <![CDATA[Tenth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=11f8f310-68a3-11df-8c1a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=d0e4795d622e7a094a3a03d38128072c Research Thu, 01 Jan 2009 02:41:24 +0100 11f8f310-68a3-11df-8c1a-000ea68e967b <![CDATA[Ninth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=4c2e61b0-6898-11df-8c1a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=f87798d65efec9045dc0beff58c4df2b This booklet contains the proceedings of the Ninth Workshop on Pratical Use of Coloured Petri Nets and CPN Tools, October 20-22, 2008. The workshop is organised by the CPN group at the Department of Computer Science, Aarhus University, Denmark.

Coloured Petri Nets and the CPN Tools are now licensed to more than 7,200 users in 138 countries. The aim of the workshop is to bring together some of the users and in this way provide a forum for those who are interested in the practical use of Coloured Petri nets and their tools. The submitted papers were evaluated by a programme committee with the following members:

Wil van der Aalst, Netherlands

João Paulo Barros, Protugal

Jörg Desel, Germany

Joao M. Fernandes, Portugal

Jorge de Figueiredo, Brazil

Monika Heiner, Germany

Kurt Jensen, Denmark (chair)

Ekkart Kindler, Denmark

Lars M. Kristensen, Denmark

Charles Lakos, Australia

Johan Lilius, Finland

Daniel Moldt, Gremany

Laure Petrucci, France

Rüdiger Vlak, Germany

Lee Wagenhals, USA

Karsten Wolf, Germany

Jianli Xu, Finland

The programme committee has accepted 10 papers for presentation. Most of these deal with different projects in which Coloured Petri Nets and their tools have been put to practical use -- often in an industrial setting. The remaining papers deal with different extensions of tools and methodology.

The papers from the first eight CPN Workshops can be found via web pages: http://www.daimi.au.dk/CPnets/. After an additional round of reviewing and revision, some of the papers have been published in four special sections in the International Journal on Software Tools for Technology Transfer (STTT). For more information see: www.sttt.cs.uni-dortmund.de/. After an additional round of reviewing and revision, some of the papers from this years workshop will be published in Transactions of Petri Nets and Other Models of Concurrency (ToPNoC) which is new journal subline of Lecture Notes in Computer Science. For more information see: www.springer.com/lncs/topnoc.

Kurt Jensen

PC and OC chair

]]>
Research Tue, 01 Jan 2008 02:41:24 +0100 4c2e61b0-6898-11df-8c1a-000ea68e967b
<![CDATA[Epsilon. A System Description Language]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=5de2ccb0-67f4-11df-8c1a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=610db02ea5f0725aeae5c256be7ae056 Jensen, K., Kyng, M. This paper discusses the use of Petri nets as a semantic tool in the design of languages and in the construction and analysis of system descriptions. The topics treated are:

-- Languages based on nets.

-- The problem of time in nets.

-- Nets and related models.

-- Nets and formal semantics.

-- Parallel program verification and nets.

]]>
Research Tue, 01 Jan 1980 02:41:24 +0100 5de2ccb0-67f4-11df-8c1a-000ea68e967b
<![CDATA[Delta Semantics Defined By Petri Nets]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=1cc4d620-67f3-11df-8c1a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=0f245d0b7d6ac8132a451d046bfbc6aa Jensen, K., Kyng, M., Madsen, O. L. This report is identical to an earlier version of May 1978 except that Chapter 5 has been revised. A new paper: "A Petri Net Definition of a System Description Language", DAIMI, April 1979, 20 pages, extends the Petri net model to include a data state representing the program variables.

Delta is a language designed for general system description. It is partly build upon Simula, but is more than a programming language, since it contains several features, which cannot be implemented on a computer system. E.g. a continuous time concept, concurrency between an unbounded number of components and the possibility of using predicates to specify state changes.

In this paper a formal semantics for Delta is defined and analysed using Petri nets.

Petri nets was chosen because the ideas behind Petri nets and Delta concide on several points.

A number of proposals for changes in Delta, which resulted from this work, are also reported here, whereas a number of different extensions to the Petri net formalism may be found in (DAIMI TR-5).

]]>
Research Mon, 01 Jan 1979 02:41:24 +0100 1cc4d620-67f3-11df-8c1a-000ea68e967b
<![CDATA[Special Section on Coloured Petri Nets]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=b55f0030-48a5-11df-9806-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=aed57305c6609ce211a2bc2f888f5bcb Research Tue, 01 Jan 2008 02:41:24 +0100 b55f0030-48a5-11df-9806-000ea68e967b <![CDATA[Special Section on Practical Use of High-level Petri Nets]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=cab8ba50-48a2-11df-9806-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=d5218964c03cdf28d332be5f28f3e9f9 ]]> Research Mon, 01 Jan 2001 02:41:24 +0100 cab8ba50-48a2-11df-9806-000ea68e967b <![CDATA[Special Section on Coloured Petri Nets]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=1f8a0e00-48a1-11df-9806-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=79733c1ecba4c2ffe0f593e68a9035ff ]]> Research Thu, 01 Jan 1998 02:41:24 +0100 1f8a0e00-48a1-11df-9806-000ea68e967b <![CDATA[Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=15452df0-4890-11df-9806-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=526862a54f6cd50a0415527755beac4f Jensen, K. The main ideas behind the analysis methods are described as well as the mathematics on which they are based and also how the methods are supported by computer tools. Some parts of the volume are theoretical while others are application oriented. The purpose of the volume is to teach the reader how to use the formal analysis methods, which does not require a deep understanding of the underlying mathematical theory.]]> Research Sun, 01 Jan 1995 02:41:24 +0100 15452df0-4890-11df-9806-000ea68e967b <![CDATA[Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol 1, Basic Concepts]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=9fc71fe0-488d-11df-9806-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=5f06dfba992c08121a41b5eabc1e779b Jensen, K. The introductory first volume contains the formal definition of CP-nets and the mathematical theory behind their analysis methods. It gives a detailed presentation of many small examples and a brief overview of some industrial applications. The purpose of the book is to teach the reader how to construct CP-net models and analyse them by means of simulation. The book is also attractive to readers who are more interested in applications than in the underlying mathematics.]]> Research Wed, 01 Jan 1997 02:41:24 +0100 9fc71fe0-488d-11df-9806-000ea68e967b <![CDATA[Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 3, Practical Use]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=ee7abf40-488b-11df-9806-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=7cff1a0fa834969a9e7d212df906b7cd Jensen, K. The presentation of the projects is based upon material provided by the persons who have accomplished the individual projects. At the beginning of each chapter, we list their names and we say where the original material has been published. The original material often contains more elaborate information, e.g., about details of the modelled system and related work.

I have edited the material provided by the original authors. I have modified some of the CP-nets, e.g., to improve the layout and use more mnemonic names. In some cases, I have also changed a few net components, e.g., merged two transitions or introduced a Standard ML function for operations that are used in many arc expressions. These modifications make the CP-nets more appropriate as study material, but they do not change the essential behaviour of the CPN models.

The terminology in the original material has been modified to fit the terminology introduced in the first two volumes of this book. Redundancies with the material of the other volumes have been removed, e.g., the explanation of what a hierarchical CP-net is and how the CPN tools work. The typography has been modified to match that used for the other parts of the book. More detailed explanations have been added, e.g., of some of the CPN models and some of the analysis results. This has been possible since, Vols. 1 and 2 have given the readers a much more thorough knowledge of CP-nets than readers of ordinary research papers. Finally, it is discussed how some of the problems from the projects can be overcome or circumvented. Many of these problems have already been removed, e.g., by improvements of the CPN tools. Other problems can be avoided by a careful choice of modelling and analysis techniques.

The material has been modified in cooperation with the original authors and the final result has been approved by them. The conclusions and findings of the original papers have not been modified.

The CPN tools for occurrence graphs and performance analysis are rather new compared to the CPN editor and simulator. Nevertheless, they have been successfully used by several of the industrial projects reported in this volume. For place and transition invariants there is not yet adequate tool support, and hence they are much more infrequently used in practical projects.

]]>
Research Wed, 01 Jan 1997 02:41:24 +0100 ee7abf40-488b-11df-9806-000ea68e967b
<![CDATA[Transactions on Petri Nets and Other Models of Concurrency III]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=83ed9680-d03a-11de-a30a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=9cb091f88ea46905ff493071f5377f30 Research Thu, 01 Jan 2009 02:41:24 +0100 83ed9680-d03a-11de-a30a-000ea68e967b <![CDATA[Transactions on Petri Nets and Other Models of Concurrency II]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=ba647ce0-d037-11de-a30a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=7dd974573e51b506ae77078427671d7d Research Thu, 01 Jan 2009 02:41:24 +0100 ba647ce0-d037-11de-a30a-000ea68e967b <![CDATA[Transactions on Petri Nets and Other Models of concurrency I]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=4b12a310-d02a-11de-a30a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=39b50892ebc1ce57685dd29c15527f99 Research Tue, 01 Jan 2008 02:41:24 +0100 4b12a310-d02a-11de-a30a-000ea68e967b <![CDATA[Condensed State Spaces for Symmetrical Coloured Petri Nets]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=e24cb7e0-cf9c-11de-a30a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=11a76ef95c4edafc0c335657dddcb708 Jensen, K. This paper deals with state spaces. A state space is a directed graph with a node for each reachable state and an arc for each possible state change. We describe how symmetries of the modelled system can be exploited to obtain much more succinct state space analysis. The symmetries induce equivalence classes of states and equivalence classes of state changes. It is then possible to construct a condensed state space where each node represents an equivalence class of states while each arc represents an equivalence class of state changes. Such a condensed state space is often much smaller than the full state space and it is also much faster to construct. Nevertheless, it is possible to use the condensed state space to verify the same kind of behavioural properties as the full state space. Hence, we do not lose analytic power.

We define state spaces and condensed state spaces for a language called Coloured Petri Nets (CP-nets). This language is in widespread use for the modelling and analysis of concurrent systems. However, our techniques are general and they can be used for many other kinds of labelled transition systems. The paper does not assume that the reader is familiar with CP-nets (or Petri nets in general) - although such knowledge will, of course, be a help. The first four sections of the paper introduce the basic concepts of CP-nets. The next three sections deal with state spaces, condensed state spaces and computer tools for state space analysis. Finally, there is a short conclusion.

]]>
Research Mon, 01 Jan 1996 02:41:24 +0100 e24cb7e0-cf9c-11de-a30a-000ea68e967b
<![CDATA[Reachability Trees for High-level Petri Nets]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=f4051d70-cf9b-11de-a30a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=77ca1c26d0272cbe22d0a5dc2d2e0001 Jensen, K., Jensen, A. M., Jepsen, L. O., Huber, P. Research Wed, 01 Jan 1986 02:41:24 +0100 f4051d70-cf9b-11de-a30a-000ea68e967b <![CDATA[Coloured Petri Nets and the Invariant Method]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=5140df20-cf9b-11de-a30a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=d5dbf98dd40588f28da6cfdbc7a61a40 Jensen, K. Research Thu, 01 Jan 1981 02:41:24 +0100 5140df20-cf9b-11de-a30a-000ea68e967b <![CDATA[The  Practitioner's guide to Coloured Petri Nets]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=d39ec010-cf85-11de-a30a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=da77827d11582f300022a31f2b4d4f35 Kristensen, L. M., Christensen, S., Jensen, K. ]]> Research Thu, 01 Jan 1998 02:41:24 +0100 d39ec010-cf85-11de-a30a-000ea68e967b <![CDATA[Coloured Petri Nets]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=8c482de0-c536-11de-a30a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=37847e0cc05ccf67b92bee4dd7567dfd Jensen, K., Kristensen, L. M. Coloured Petri Nets (CPN) is a graphical language for modelling and validating concurrent and distributed systems, and other systems in which concurrency plays a major role. The development of such systems is particularly challenging because of inherent intricacies like possible nondeterminism and the immense number of possible execution sequences.

In this textbook, Jensen and Kristensen introduce the constructs of the CPN modelling language and present the related analysis methods in detail. They also provide a comprehensive road map for the practical use of CPN by showcasing selected industrial case studies that illustrate the practical use of CPN modelling and validation for design, specification, simulation, verification and implementation in various application domains.

Their presentation primarily aims at readers interested in the practical use of CPN. Thus all concepts and constructs are first informally introduced through examples and then followed by formal definitions (which may be skipped). The book is ideally suitable for a one-semester course at an advanced undergraduate or graduate level, and through its strong application examples can also serve for self-study. It features an accompanying website that offers additional material such as slides, exercises and project proposals.

]]>
Research Thu, 01 Jan 2009 02:41:24 +0100 8c482de0-c536-11de-a30a-000ea68e967b
<![CDATA[Arbejdsformer under anvendelse af 4. generationsværktøjer]]> https://cs.au.dk/research/modelling-and-validation-of-distributed-systems/publications?tx_pure_pure5%5Baction%5D=single&tx_pure_pure5%5Bcontroller%5D=Publications&tx_pure_pure5%5Bid%5D=691d0fd0-c22e-11de-a30a-000ea68e967b&tx_pure_pure5%5BshowType%5D=pub&cHash=2fdf9e52a6dfb0474ed7a8569520dfc5 Christensen, S., Grønbæk, K., Rolskov, T. ]]> Research Thu, 01 Jan 1987 02:41:24 +0100 691d0fd0-c22e-11de-a30a-000ea68e967b