Development of distributed software systems is a complex task. This paper argues that design and specification can be supported by modelling and simulation using Hierarchical Coloured Petri Nets (CP-nets). This conclusion is based on a case study of a project in which CP-nets were used in the detailed design of a software module. The software module is part of the Network Management System of the RcPAX X.25 wide area network. The module was designed using the Design/CPN tool which allows editing and simulation of CP-nets. Furthermore invariant techniques were used to prove properties of the module.Genoptrykt i Oktober 1994 i 100 eksemplarer
The vast majority of software systems today can be characterised as con-current and distributed syst...
One specific model of a digital system in different types of Petri nets is presented. The formal def...
Reliance on software systems is ever increasing in our world. Alongside the application of concurren...
Development of distributed software systems is a complex task. This paper argues that design and spe...
Development of distributed software systems is a complex task. This paper argues that design and spe...
This paper describes how Coloured Petri Nets (CP-nets) have been developed - from being a promising ...
Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation,...
This book presents a coherent description of the theoretical and practical aspects of Coloured Petri...
In this paper, we describe the computer tool Design/CPN supporting editing, simulation, and state sp...
The thesis consists of six individual papers, where the present paper contains the mandatory overvie...
Abstract. Coloured Petri Nets (CP-nets or CPNs) and their supporting computer tools have been used i...
The purpose of this thesis is to show how we can create a model that represents a planned system usi...
This paper presents the basic theoretical aspects of Coloured Petri Nets (CP-nets or CPN). CP-nets h...
Abstract. Coloured Petri Nets (CPNs) is a language for the modelling and validation of systems in wh...
Petri nets, as a modelling formalism, are utilised for the analysis of processes, whether for explic...
The vast majority of software systems today can be characterised as con-current and distributed syst...
One specific model of a digital system in different types of Petri nets is presented. The formal def...
Reliance on software systems is ever increasing in our world. Alongside the application of concurren...
Development of distributed software systems is a complex task. This paper argues that design and spe...
Development of distributed software systems is a complex task. This paper argues that design and spe...
This paper describes how Coloured Petri Nets (CP-nets) have been developed - from being a promising ...
Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation,...
This book presents a coherent description of the theoretical and practical aspects of Coloured Petri...
In this paper, we describe the computer tool Design/CPN supporting editing, simulation, and state sp...
The thesis consists of six individual papers, where the present paper contains the mandatory overvie...
Abstract. Coloured Petri Nets (CP-nets or CPNs) and their supporting computer tools have been used i...
The purpose of this thesis is to show how we can create a model that represents a planned system usi...
This paper presents the basic theoretical aspects of Coloured Petri Nets (CP-nets or CPN). CP-nets h...
Abstract. Coloured Petri Nets (CPNs) is a language for the modelling and validation of systems in wh...
Petri nets, as a modelling formalism, are utilised for the analysis of processes, whether for explic...
The vast majority of software systems today can be characterised as con-current and distributed syst...
One specific model of a digital system in different types of Petri nets is presented. The formal def...
Reliance on software systems is ever increasing in our world. Alongside the application of concurren...
Add to ORKG