Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
238
Building verifiable software prototypes . . . Coloured Petri Nets
, 2005
"... This progress report outlines the work conducted on part A of my PhD study at the Department of Computer Science, University of Aarhus. During Part A of my PhD study, I have conducted work in three areas related to modeling of computer systems. Firstly, I have participated in the design and implemen ..."
Abstract
- Add to MetaCart
participated in a concrete project using TIN-CPN to create a model-based prototype of a networking protocol. The third area I have worked on is within the standardization of an exchange format for Petri nets, where I have participated in
The practitioner's guide to coloured Petri nets
- International Journal on Software Tools for Technology Transfer
, 1998
"... Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of application areas and many CPN projects have been carried out in industry, e.g., in the areas of communication protocols, operating systems, ..."
Abstract
-
Cited by 98 (17 self)
- Add to MetaCart
, hardware designs, embedded systems, software system designs, and business process re-engineering. Design/CPN is a graphical computer tool supporting the practical use of CP-nets. The tool supports the construction, simulation, and functional and performance analysis of CPN models. The tool is used by more
Combining Petri Nets and UML for Model-based Software Engineering
"... UML is by far the most widely used modelling language used nowadays in software engineering, due to its large scope and its wide tool support. This software standard of-fers many diagrams that cover all typical perspectives for describing and modelling the software systems under consideration. Among ..."
Abstract
- Add to MetaCart
. Among those diagrams, UML includes dia-grams (activity diagram, state machine diagram, use case diagrams, and the interaction diagrams) for describing the behaviour (or functionality) of a software system. Petri nets constitute a well-proven formal modelling language, suitable for describing the be
Sixth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools
, 2005
"... Model of Routing in Mobile Ad Hoc Networks............................... 137 M. Pesic and W.M.P. van der Aalst Modeling Work Distribution Mechanisms Using Colored Petri Nets .................. 157 A.K. Alves de Medeiros and C.W. Gnther Process Mining: Using CPN Tools to Create Test Logs for Min ..."
Abstract
- Add to MetaCart
Model of Routing in Mobile Ad Hoc Networks............................... 137 M. Pesic and W.M.P. van der Aalst Modeling Work Distribution Mechanisms Using Colored Petri Nets .................. 157 A.K. Alves de Medeiros and C.W. Gnther Process Mining: Using CPN Tools to Create Test Logs
Modelling an Object Based System with Coloured Petri Nets
, 1996
"... The Reference Model for Open Distributed Processing (RM--ODP) defines an architecture which allows heterogeneous software components to interact, where entities in the system are Objects. In RM--ODP, entire applications may be considered to be Objects. In order to allow dynamic location of services/ ..."
Abstract
- Add to MetaCart
/resources, a Trading function has been defined which is performed by a Trader instance. In this paper, a Coloured Petri Net model of the RM--ODP Trader and its environment is presented. In addition, the software package Design/CPN# used in the modelling of Trader is described in detail. 1. Introduction
An Approach for the Engineering of Protocol Software from Coloured Petri Net Models: A Case Study of the IETF WebSocket Protocol
"... The vast majority of software systems today can be characterised as con-current and distributed systems as their operation inherently relies on protocols executed between independently scheduled software components. The engineer-ing of correct protocols can be a challenging task due to their complex ..."
Abstract
- Add to MetaCart
of protocols, including automated code generation for different platforms from design-level models. Furthermore, the use of formal modelling in combination with model checking provides tech-niques to support the development of reliable protocol implementations. Coloured Petri Nets (CPNs) [3] is formal language
Model-Based Testing of Cryptographic Protocols
- In Trustworthy Global Computing, International Symposium, TGC 2005, Revised Selected Papers
, 2005
"... Abstract. Modeling is a popular way of representing the behavior of a system. A very useful type of model in computing is an abstract state machine which describes transitions over first order structures. The general purpose model-based testing tool SpecExplorer (used within Microsoft, also availabl ..."
Abstract
-
Cited by 4 (1 self)
- Add to MetaCart
Abstract. Modeling is a popular way of representing the behavior of a system. A very useful type of model in computing is an abstract state machine which describes transitions over first order structures. The general purpose model-based testing tool SpecExplorer (used within Microsoft, also
Application of Coloured Petri Nets in System Development
- In Lecture on Concurrency and Petri Nets, Jorg Desel, Wolfgang Reisig and Grezegorz Rozenberg (Eds.), Springer, LNCS 3089
, 2004
"... Abstract. Coloured Petri Nets (CP-nets or CPNs) and their supporting computer tools have been used in a wide range of application areas such as communication protocols, software designs, and embedded systems. The practical application of CP-nets has also covered many phases of system development ran ..."
Abstract
-
Cited by 8 (3 self)
- Add to MetaCart
Abstract. Coloured Petri Nets (CP-nets or CPNs) and their supporting computer tools have been used in a wide range of application areas such as communication protocols, software designs, and embedded systems. The practical application of CP-nets has also covered many phases of system development
Design/CPN - A Computer Tool for Coloured Petri Nets
- Proceedings of TACAS'97, volume 1217 of Lecture Notes in Computer Science
, 1997
"... . 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 institution ..."
Abstract
-
Cited by 19 (4 self)
- Add to MetaCart
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
A Coloured Petri Net model of an Open Object--based System
"... Open Object--based systems are becoming increasingly used as the basis for design of distributed systems. These systems are inherently complex due to concurrency and synchronisation of activities operating in parallel. In order to engineer these Open Distributed Systems, tools are required to aid in ..."
Abstract
- Add to MetaCart
in the design and analysis processes. In this paper, Coloured Petri Nets and the Design/CPN# tool are used to model the ODP Trader which has been recently standardised by ISO and ITU--T. The Trader is an integral component of an object--based system because it provides a dynamic resource location service. A
Results 1 - 10
of
238
