Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
130
Towards Arguing the Cost-effectiveness of Coloured Petri Nets
- In Proc. of 2005 International Conference on Software Engineering Research and Practice. CSREA Press, Las Vegas
"... The contribution of this paper is to propose and justify two general rules that can help to argue the costeffectiveness of use of the formal modelling language Coloured Petri Nets (CPN): (1) Construction of CPN models should be explicitly based on high-quality documentation that software developers ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
The contribution of this paper is to propose and justify two general rules that can help to argue the costeffectiveness of use of the formal modelling language Coloured Petri Nets (CPN): (1) Construction of CPN models should be explicitly based on high-quality documentation that software developers
Parametrisation of Coloured Petri Nets
- DEPARTMENT OF COMPUTER SCIENCE, UNIVERSITY OF AARHUS
, 1997
"... In this paper we propose a conceptual framework for parametrisation of Coloured Petri Nets --- a first step towards the formulation and formalisation of Parametric Coloured Petri Nets. We identify and characterise three useful kinds of parametrisation, namely value, type, and net structure parameter ..."
Abstract
-
Cited by 4 (1 self)
- Add to MetaCart
In this paper we propose a conceptual framework for parametrisation of Coloured Petri Nets --- a first step towards the formulation and formalisation of Parametric Coloured Petri Nets. We identify and characterise three useful kinds of parametrisation, namely value, type, and net structure
Towards a Modular Analysis of Coloured Petri Nets
, 1993
"... The use of different High-level Petri net formalisms has made it possible to create Petri net models of large systems. Even though the use of such models allows the modeller to create compact representations of data and action, the size of models has been increasing. A large model can make it diffic ..."
Abstract
-
Cited by 24 (3 self)
- Add to MetaCart
The use of different High-level Petri net formalisms has made it possible to create Petri net models of large systems. Even though the use of such models allows the modeller to create compact representations of data and action, the size of models has been increasing. A large model can make
Safety Preserving Transformations of Coloured Petri Nets
, 2000
"... In this paper a formal technique for refining Coloured Petri Nets within the software development process is introduced. This technique -- called rule-based refinement -- is based on rules and transformations of Coloured Petri Nets preserving safety properties in the sense of [MP92]. First steps tow ..."
Abstract
-
Cited by 5 (3 self)
- Add to MetaCart
In this paper a formal technique for refining Coloured Petri Nets within the software development process is introduced. This technique -- called rule-based refinement -- is based on rules and transformations of Coloured Petri Nets preserving safety properties in the sense of [MP92]. First steps
The Timed (Coloured) Petri Net Formalism: position paper
"... This paper presents the point of view of the groups of the universities of Torino and Zaragoza on the timed Petri net formalism. Coloured and non coloured models are covered at the same time, the latter making sense in case of systems without symmetries. We argue that Petri net formalisms allow m ..."
Abstract
- Add to MetaCart
This paper presents the point of view of the groups of the universities of Torino and Zaragoza on the timed Petri net formalism. Coloured and non coloured models are covered at the same time, the latter making sense in case of systems without symmetries. We argue that Petri net formalisms allow
State Space Methods for Coloured Petri Nets
- Department of Computer Science, University of Aarhus
, 2000
"... In this paper, we consider state space analysis of Coloured Petri Nets. It is well-known that almost all dynamic properties of the considered system can be verified when the state space is finite. However, state space analysis is more than just formulating a set of formal requirements and invoking a ..."
Abstract
-
Cited by 4 (0 self)
- Add to MetaCart
In this paper, we consider state space analysis of Coloured Petri Nets. It is well-known that almost all dynamic properties of the considered system can be verified when the state space is finite. However, state space analysis is more than just formulating a set of formal requirements and invoking
Towards Modelling and Verification of Concurrent Ada Programs Using Petri Nets
, 2000
"... Ada 95 is an expressive concurrent programming language with which it is possible to build complex multi-tasking applications. Much of the complexity of these applications stems from the interactions between the tasks. This paper argues that Petri nets offer a promising, tool-supported, technique fo ..."
Abstract
-
Cited by 8 (1 self)
- Add to MetaCart
for checking the logical correctness of the tasking algorithms. The paper illustrates the effectiveness of this approach by showing the correctness of an Ada implementation of the atomic action protocol using a variety of Petri net tools, including PED, PEP and INA for P/T nets and Design/CPN for Coloured
The Dimensions of Petri Nets: The Petri Net Cube
- Bulletin of EATCS
, 1998
"... There exist many different Petri net formalisms. In this paper, we present the Petri Net Cube which helps to structure and classify the variety of Petri net formalisms. We show, that three basic aspects are sufficient for describing most classical Petri net formalisms. Since these aspects are ind ..."
Abstract
-
Cited by 3 (1 self)
- Add to MetaCart
formalisms there is a good understanding of what Petri nets are. There are only a few basic aspects which make up a Petri net---and lots of extensions. We will argue that three basic aspects are sufficient for covering the most prominent Petri net versions such as EN-Systems (Elementary Net Systems), P
Towards Automatic Code-generation from Process-partitioned Coloured Petri Nets
"... Abstract. Constructing an abstract description in the form of a model can give useful insight into a given system, e.g., to investigate important properties of the system either through simulation or state space analysis, and to use the model as inspiration for subsequent manual implementa-tion. The ..."
Abstract
-
Cited by 2 (0 self)
- Add to MetaCart
. The problem is that a manual implementation may introduce errors in the code not present in the model. Automatic code generation from the model saves resources spent on writing code, and eliminates errors introduced during implementation. This is difficult for coloured Petri nets models as their rich
Towards Verifying Parallel Algorithms and Programs using Coloured Petri Nets
"... Abstract. Coloured Petri nets have proved to be a useful formalism for modeling distributed algorithms, i.e., algorithms where nodes communicate via message passing. Here we describe an approach for modeling parallel algorithms and programs, i.e., algorithms and programs where processes communicate ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
Abstract. Coloured Petri nets have proved to be a useful formalism for modeling distributed algorithms, i.e., algorithms where nodes communicate via message passing. Here we describe an approach for modeling parallel algorithms and programs, i.e., algorithms and programs where processes communicate
Results 1 - 10
of
130
