Formal Definition of Timed Coloured Petri Nets

2009 ◽  
pp. 257-271
Author(s):  
Kurt Jensen ◽  
Lars M. Kristensen
Keyword(s):  
Petri Nets ◽  
Coloured Petri Nets ◽  
Formal Definition ◽  
Definition Of

Formal Definition of Coloured Petri Nets

1992 ◽  
pp. 65-87 ◽  
Author(s):  
Kurt Jensen
Keyword(s):  
Petri Nets ◽  
Coloured Petri Nets ◽  
Formal Definition ◽  
Definition Of

Formal Definition of Non-hierarchical Coloured Petri Nets

2009 ◽  
pp. 79-94
Author(s):  
Kurt Jensen ◽  
Lars M. Kristensen
Keyword(s):  
Petri Nets ◽  
Coloured Petri Nets ◽  
Formal Definition ◽  
Definition Of

Formal Definition of Hierarchical Coloured Petri Nets

2009 ◽  
pp. 127-149 ◽  
Author(s):  
Kurt Jensen ◽  
Lars M. Kristensen
Keyword(s):  
Petri Nets ◽  
Coloured Petri Nets ◽  
Formal Definition ◽  
Definition Of

scholarly journals An Introduction to the Theoretical Aspects of Coloured Petri Nets

1994 ◽  
Vol 13 (476) ◽  
Author(s):  
Kurt Jensen
Keyword(s):  
Petri Nets ◽  
Programming Languages ◽  
Dynamic Properties ◽  
Software Systems ◽  
Coloured Petri Nets ◽  
Human Beings ◽  
Data Types ◽  
Industrial Projects ◽  
Concurrent Processes ◽  
Definition Of

<p>This paper presents the basic theoretical aspects of Coloured Petri Nets (CP-nets or CPN). CP-nets have been developed, from being a promising theoretical model, to being a full-fledged language for the design, specification, simulation, validation and implementation of large software systems (and other systems in which human beings and/or computers communicate by means of some more or less formal rules). The paper contains the formal definition of CP-nets and their basic concepts (e.g., the different dynamic properties such as liveness and fairness). The paper also contains a short introduction to the analysis methods, in particular occurrence graphs and place invariants.</p><p>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.</p>

scholarly journals A Petri Net Definition of a System Description Language

1981 ◽  
Vol 8 (96) ◽  
Author(s):  
Kurt Jensen ◽  
Morten Kyng ◽  
Ole Lehrmann Madsen
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Formal Model ◽  
Concurrent Systems ◽  
Formal Definition ◽  
Concurrent System ◽  
Description Language ◽  
System Description ◽  
Definition Of ◽  
Further Development

<p>This paper introduces a language, Epsilon, for the description of systems with concurrency, and presents a formal definition of Epsilon's semantics. The language is based on Delta ‹ the first major attempt to create a language solely aimed at system description without the restrictions placed on languages executable on digital computers. The design of Delta was itself heavily influenced by the experience from the development and use of Simula.</p><p>It is not obvious what kind of semantics a system description language should have. The situation is more complex than with normal algorithmic languages and none of the existing semantic approaches appear to be satisfactory.</p><p>To clarify the situation, we first describe the language Epsilon, which contains only a few basic primitives. Then we define the semantics of Epsilon by means of a formal model based on Petri nets. The model called ''Concurrent systems'' is an extension of Petri nets with a data part and with expressions attached to transitions and to places. The model is a further development of formalisms proposed by R.M. Keller and A. Mazurkiewicz. The expressions attached to places is a novel feature and is used to define continuous transformations on the data part. The semantics of a given system description is defined in terms of firing sequences of the corresponding concurrent system.</p><p>To be presented at the Evian Conference on Semantics of Concurrent Computations, July 1979.</p>

scholarly journals Coloured Petri Nets: A High Level Language for System Design and Analysis

1993 ◽  
Vol 19 (338) ◽  
Author(s):  
Kurt Jensen
Keyword(s):  
Petri Nets ◽  
Software Systems ◽  
Coloured Petri Nets ◽  
Human Beings ◽  
High Level Language ◽  
Design Specification ◽  
Computer Tools ◽  
Simulation Validation ◽  
Definition Of ◽  
High Level

This paper describes how Coloured Petri Nets (CP-nets) have been developed - from being a promising theoretical model to being a full-fledged language for the design, specification, simulation, validation and implementation of large software systems (and other systems in which human beings and/or computers communicate by means of some more or less formal rules). 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).

Sign in / Sign up

Export Citation Format

Share Document