Results 1 - 10 of 198

A Coloured Petri Net model of an Open Object--based System

by Tokmakoff And Billington, A. Tokmakoff, J. Billington, Warrendi Road
"... 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

Using Coloured Petri Nets to aid the Design of Object-based Systems

by A. Tokmakoff, J. Billington , 1996
"... As middleware and networking technologies improve, heterogenous distributed systems are expected to become commonplace. An Object--based approach to designing these systems has been adopted by ISO and ITU--T in their standardisation of the Reference Model for Open Distributed Processing (RM--ODP). A ..."
Abstract - Add to MetaCart
. In this paper, we model the Trader using Coloured Petri Nets and the Design/CPN# tool. The model is described, and verification of the model using simulation and Occurrence Graph Analysis is presented. 1. INTRODUCTION Object--based systems have been widely accepted as an underlying model for describing Open

Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets

by Jens Bæk Jørgensen, Kjeld Høyer, Jens Baek J��rgensen, Kjeld H��yer Mortensen
"... Recently, abstractions supporting distributed program execution in the object-oriented language BETA have been designed. A BETA object on one computer may invoke a remote object, i.e., an object hosted by another computer. In this project, the formalism of Coloured Petri Nets (CP-nets or CPN) is use ..."
Abstract - Cited by 7 (0 self) - Add to MetaCart
Recently, abstractions supporting distributed program execution in the object-oriented language BETA have been designed. A BETA object on one computer may invoke a remote object, i.e., an object hosted by another computer. In this project, the formalism of Coloured Petri Nets (CP-nets or CPN

The Object Orientation of Object Petri Nets

by Charles Lakos - PROCEEDINGS OF WORKSHOP ON OBJECT ORIENTED PROGRAMMING AND MODELS OF CONCURRENCY , 1995
"... This paper informally introduces Object Petri Nets (OPNs) with a number of examples and discusses how this kind of Petri Net addresses a number of issues pertinent to Concurrent Object-Oriented Programming Languages. OPNs support a thorough integration of object-oriented concepts into Petri Nets, ..."
Abstract - Cited by 14 (2 self) - Add to MetaCart
into behaviourally equivalent Coloured Petri Nets (CPNs), which can provide a foundation for adapting existing analysis techniques such as invariant analysis.

Property Specification for Coloured Petri Nets∗

by Ella E. Roubtsova
"... Abstract – The Coloured Petri Nets is a powerful modelling framework which allows designers to attach values of complex types (colors) to moving objects (to-kens). Using analysis techniques of the classical Petri Nets for the Coloured Petri Nets demands abstracting from colors, that can be a source ..."
Abstract - Add to MetaCart
Abstract – The Coloured Petri Nets is a powerful modelling framework which allows designers to attach values of complex types (colors) to moving objects (to-kens). Using analysis techniques of the classical Petri Nets for the Coloured Petri Nets demands abstracting from colors, that can be a source

Modelling an Object Based System with Coloured Petri Nets

by Tokmakoff Billington Telecommunications, Coloured Petri Nets, A. Tokmakoff, J. Billington, Keywords Modelling, Petri Nets, Rm--odp Trader , 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
, 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

Modelling and Analysis of Distributed Program Execution in BETA Using Coloured Petri Nets

by Jens B K J Rgensen, Kjeld H Yer Mortensen , 1995
"... Abstract. Recently, abstractions supporting distributed program execution in the object-oriented language BETA have been designed. A BETA object on one computer may invoke a remote object, i.e., an object hosted by another computer. In this project, the formalism of Coloured Petri Nets (CP-nets or C ..."
Abstract - Add to MetaCart
Abstract. Recently, abstractions supporting distributed program execution in the object-oriented language BETA have been designed. A BETA object on one computer may invoke a remote object, i.e., an object hosted by another computer. In this project, the formalism of Coloured Petri Nets (CP-nets

Modelling, Analysis and Prototyping of the ODP Trader using Coloured Petri Nets and Java

by Andrew A. Tokmakoff , 1998
"... Trading is a fundamentally important aspect in the realisation of Open Object–based Distributed Systems (OOBDS), and has been the joint topic of standardisation by the International Organisation for tandardisation (ISO), the International Electrotechnical Commission (IEC) and the International Telec ..."
Abstract - Add to MetaCart
Petri Nets (CPNs) have been used to model the RM–ODP Trading standard. This has resulted in the creation of two models which view Trader interactions at different levels of abstraction. The first model provides a description of the interactions between the Trader, Importers and Exporters. The second

Translation of UML Models to Object Coloured Petri Nets with a view to Analysis

by unknown authors
"... Higher level Petri Nets that employ object oriented concepts have recently drawn the attention of researchers for use in formalizing UML in order to carryout dynamic analysis and simulation for complex software systems. This paper presents a method for constructing Petri Net models from UML models b ..."
Abstract - Add to MetaCart
Higher level Petri Nets that employ object oriented concepts have recently drawn the attention of researchers for use in formalizing UML in order to carryout dynamic analysis and simulation for complex software systems. This paper presents a method for constructing Petri Net models from UML models

Application of Coloured Petri Nets in Systems Biology

by Thomas Runge , 2004
"... Computer aided analysis is necessary to improve the understanding of the complex biochemical processes. The often used kinetic models in biochemistry are based on differential equations. The results of such a kinetic model are often non-reliable on account of unreliable data or of inconsistencies in ..."
Abstract - Cited by 7 (0 self) - Add to MetaCart
in the used model. Therefore, other supplementary methods are indispensable. A detailed qualitative analysis should be done, before a quantitative (kinetic) analysis is made. This paper extends and refines the construction strategy of a coloured Petri net model of a metabolic network at a steady state
Results 1 - 10 of 198