Design of distributed track-vehicle systems applying a high-level object oriented Petri net methodology

2002 ◽  
Author(s):  
A. Perkusich ◽  
J.C.A. de Figueiredo
Keyword(s):  
Petri Net ◽  
Object Oriented ◽  
Vehicle Systems ◽  
High Level

scholarly journals XML format for notation of object-oriented Petri net

2007 ◽  
Vol 55 (3) ◽  
pp. 47-56 ◽  
Author(s):  
Petr Jedlička
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Object Oriented ◽  
Markup Language ◽  
Verification Of Models ◽  
Petri Net Markup Language ◽  
Interchange Format ◽  
High Level ◽  
Object Petri Net ◽  
Object Oriented Systems

Petri nets provide executive facilities for simulation of causality, non-determinism and parallelism in discreet systems. Since they are a mathematical model in substance, they offer theory, which can be successfully used to verification of models. Executability of Petri nets predestinates them for simulation and fast prototyping. Object Petri nets represent rather complicated class, based on hierarchical and high-level Petri nets. However their complexity is balanced by their ability to identify significant characteristics of system model and to visualize it in a graphic representation.Tools currently applied to modeling, simulation and verification of various Petri net variants use language PNML (Petri Net Markup Language) as an interchange format. However PNML is not capable of expression of object Petri net. This paper introduces prototype of XML-based language for modeling of parallel object-oriented systems described by object Petri net. This language, based on PNML, was named OPNML (Object Petri Net Markup Language).

UML Based Design Approach for Storage System of Nano-Satellite

2014 ◽  
Vol 599-601 ◽  
pp. 530-533
Author(s):  
Hong Hao Wang ◽  
Hui Quan Wang ◽  
Zhong He Jin
Keyword(s):  
Storage System ◽  
Unified Modeling Language ◽  
Object Oriented ◽  
Modeling Language ◽  
Nand Flash ◽  
Unified Modeling ◽  
Object Oriented Design ◽  
High Level Modeling ◽  
High Level

Due to the complex timing sequence of NAND flash, a unified design process is urgently required to guarantee the reliability of storage system of nano-satellite. Unified Modeling Language (UML) is a widely used high level modeling language for object-oriented design. This paper adopts the UML as the design and modelling tool in the low level storage system design to elaborate the UML application in each phase of design in detail. The result shows taking UML as the modelling tool results in a clear and unambiguity design, which promotes the reliability and quality of software. At last, the feasibility of object-oriented implementation in C is presented.

FEMLIB: An Object-Oriented Framework for Optimization and Simulation

1995 ◽  
Author(s):  
Michael M. Tiller ◽  
Jonathan A. Dantzig
Keyword(s):  
Material Properties ◽  
Object Oriented ◽  
The Finite Element Method ◽  
Simulation And Optimization ◽  
Gradient Based ◽  
Level Problem ◽  
Simulation Results ◽  
Optimization And Simulation ◽  
High Level ◽  
Simulation Parameters

Abstract In this paper we discuss the design of an object-oriented framework for simulation and optimization. Although oriented around high-level problem solving, the framework defines several classes of problems and includes concrete implementations of common algorithms for solving these problems. Simulations are run by combining these algorithms, as needed, for a particular problem. Included in this framework is the capability to compute the sensitivity of simulation results to the different simulation parameters (e.g. material properties, boundary conditions, etc). This sensitivity information is valuable in performing optimization because it allows the use of gradient-based optimization algorithms. Also included in the system are many useful abstractions and implementations related to the finite element method.

A Survey on the Object-Oriented Petri Net Modeling

2011 ◽  
Vol 121-126 ◽  
pp. 4350-4356
Author(s):  
Yan Pei Liu ◽  
Jun Hui Fu ◽  
Hong Yu Feng
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Future Development ◽  
Mathematical Analysis ◽  
Object Oriented ◽  
Software Products ◽  
Object Oriented Technology ◽  
Pros And Cons ◽  
Typical Object ◽  
And Function

With the larger and more complex of the size and function of software products，choosing an efficient modeling technique for analyzing complicated and ever-changing system plays a vital role．Object-Oriented Petri nets for its unique characteristics which are simple and laconic modeling method and strong mathematical analysis capacity becomes a hot research．In this paper，it explain that the object-oriented technology how to combine with Petri nets．The typical Object-Oriented Petri net modeling steps and analysis methods are expounded. Up-to-date research about OOPN and its main improved models OOCPN, OOAPN and OOTPN are summarized, the pros and cons of each modeling are analyzed．The interrelated topics and the future development about OOPN are also mentioned．

scholarly journals Computer Network Simulation Modeling Based on Object Oriented Petri Net

2016 ◽  
Vol 12 (02) ◽  
pp. 25
Author(s):  
Xinhua Chen ◽  
Ya-ni Sun
Keyword(s):  
Petri Net ◽  
Simulation Modeling ◽  
Computer Network ◽  
Network Simulation ◽  
Object Oriented ◽  
Modeling Method ◽  
Model Based ◽  
Valid Method

This paper first briefly introduces the Petri net, and then studied in detail according to the selected object-oriented Petri net modeling method. This paper improve the object-oriented Petri net modeling method, and study the modeling and operation steps in details. Finally this paper build a computer network TCP/IP protocol model based on the object oriented Petri net. The model prove to be a good simulation to the computer network and the improved modeling method is also a valid method for further object oriented Petri net modeling.

Sign in / Sign up

Export Citation Format

Share Document