object oriented Petri nets
Software Quality Prediction Model Research Based on Object-Oriented Petri Nets
... Abstract—With the increasing complexity and size of software system, the difficulty of managing software quality is growing rapidly. How to ensure software quality has always been the important issue that needs to be ...
5
XML as a format of expression of Object-Oriented Petri Nets
... (Object-Oriented Petri Nets – OOPN) však zatím nedisponují otevřeným a nezávislým formátem vyjádření, jaký poskytuje například jazyk ...
10
The Sequential Assembling of EOOPN Component Net
... Extended Object-Oriented Petri Nets is the combination of Petri Nets and object-oriented ...of Petri Nets, such combination is capable of representing ...
5
Qualifications of Petri nets for modeling of logistical systems
... configuration. Petri nets have proved to be useful for exa- mining the performance of different system configurations and/or alternative operating procedures for various ...ri nets are appropriate to ...
6
Object-Oriented Simulator of Multi-Agent System for Temporally Rich Domains
... modified Petri nets called Petri Nets with Time Tokens are used as basic building blocks for agent’s know- ledge representation and temporal reasoning, as well as for modelling situations in ...
7
XSLT template for generating of diagram of object-oriented Petri net from the OPNML format
... transform Object-Oriented Petri Net de- scribed by OPNML (Object Petri Net Markup Language) into a graph was ...in Petri Net graph displayed in shape of a circle, is painted by ...
6
European railway traffic management system validation using UML/Petri nets modelling strategy
... an object oriented one is proposed in order to apprehend the dynamic behaviour of the system and to allow the re-use of ...selected object formalism is UML (Unified Modelling ...
16
Online Full Text
... using object- oriented approach of Java programming language which ensures its portability and independence from the operating ...(Petri Nets) operates in two ...
5
Availability evaluation of Software architecture of object oriented Style using coloured Petri nets
... These nets provide a framework for analysis, validation, and evaluation of ...efficiency. Petri nets are based on ...a Petri net is a two-part directional graph composed of two elements, ...
10
Representation Theorems for Petri Nets
... Among the semantics proposed for Petri nets [10] (see also [11, 13]), a relevant role is played by the various notions of process, e.g. [12, 5, 1], whose merit is to provide a faithful account of ...
11
The Web service composition based on colored Petri net
... colored Petri net model of web service composition was put forward in this ...its Petri net which described in PNML( Petri net Markup Language) +OWL(Ontology Web Language) ,where PNML part describes ...
6
APC Semantics for Petri Nets
... for Petri nets, based on a process algebra APC (Algebra of Process Components) by the ...given Petri net, expressing processes initiated in those ...
8
Functorial Models for Petri Nets
... PT nets under both the CTph and the ITph , exploiting the features of the algebraic approach to establish formal relationships between different ...to Petri net semantics in both the collective and ...
30
A new paradigm for uncertain knowledge representation by Plausible Petri nets
... None of the PN variants developed to handle uncertainty are well-suited to embedding plausible reasoning into the PN formalism, nor do they consider the hybrid nature of real-world dynamical systems, consisting of a ...
23
A Graphical petri nets simulator
... The Algorithm while of the Main Function not done { read mouse location; if located in panel set else else the selecting editing if located in user mode as current editing mode; working [r] ...
106
A STUDY OF OBJECT ORIENTED ANALYSIS AND DESIGN
... target object, so that the right object class is accessed and hence there is right implementation of the ...target object even though these do not affect the choice of ...
5
On the Semantics of Place/Transition Petri Nets
... PT nets in which mark- ings may be infinite and transitions are allowed to have infinite pre- and post-sets, but, as usual, with finite ...to nets with infinite markings of the general formulation in ...
36
Petri Nets and Other Models of Concurrency
... First, all the models are introduced as a class of objects, e.g., the class of net sys- tems or the class of trace structures, equipped with a notion of ‘behaviour-preserving’ (i.e., simulation) morphism, making each ...
56
Stochastic Petri Nets for Wireless Networks
... Stochastic Petri Nets (SPNs), introduced in 1980, are a modeling formalism that can be conveniently used for the performance and reliability evaluation of discrete event ...
15
Properties of Distributed Time Arc Petri Nets
... Abstract. In [12] we started a research on a distributed-timed exten- sion of Petri nets where time parameters are associated with tokens and arcs carry constraints that qualify the age of tokens required ...
12