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 On Modeling and Simulation of Resource Allocation Policies in Cloud Computing Using Colored Petri Nets

2020 ◽  
Vol 10 (16) ◽  
pp. 5644 ◽  
Author(s):  
Stavros Souravlas ◽  
Stefanos Katsavounis ◽  
Sofia Anastasiadou
Keyword(s):  
Resource Allocation ◽  
Petri Nets ◽  
Petri Net ◽  
Object Oriented ◽  
Colored Petri Nets ◽  
Allocation Scheme ◽  
Shared Resources ◽  
Basic Characteristics ◽  
Resource Allocation Scheme ◽  
Maximum Utilization

The Petri net (PN) formalism is a suitable tool for modeling parallel systems due to its basic characteristics, such as synchronization. The extension of PN, the Colored Petri Nets (CPN) allows the incorporation of more details of the real system into the model (for example, contention for shared resources). The CPNs have been widely used in a variety of fields to produce suitable models. One of their biggest strengths is that their overall philosophy is quite similar to the philosophy of the object-oriented paradigm. In this regard, the CPN models can be used to implement simulators in a rather straightforward way. In this paper, the CPN framework is employed to implement a new resource allocation simulator, which is used to verify the performance of our previous work, where we proposed a fair resource allocation scheme with flow control and maximum utilization of the system’s resources.

scholarly journals AN APPROACH TO OBJECT SYSTEM MODELING BY STATE-BASED OBJECT PETRI NETS

1998 ◽  
Vol 08 (01) ◽  
pp. 1-20 ◽  
Author(s):  
A. NEWMAN ◽  
S. M. SHATZ ◽  
X. XIE
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
System Modeling ◽  
Object Oriented ◽  
Distributed Applications ◽  
Concurrent Systems ◽  
Software Systems ◽  
Object System ◽  
Structural Aspects

For many years, Petri nets have been used for modeling the behavior of various types of concurrent systems. While these net models are especially well suited to capture the behavior of concurrent systems, it is still the case that net models do not easily capture some important structural aspects of a system, such as modularity. In terms of software systems for distributed applications, the object-oriented paradigm has become a standard for defining modularity and reuse of software. Thus, an evolving direction in Petri net technology is the blending of net features with object-oriented capability. This paper discusses one such approach for state-based object systems.

Research on Modeling and Simulation of Scheduling with Tool Failure in FMS

2009 ◽  
Vol 419-420 ◽  
pp. 101-104
Author(s):  
Dan Zhao ◽  
Jia Tai Zhang ◽  
Ling Li Li
Keyword(s):  
Modeling And Simulation ◽  
Petri Net ◽  
Dynamic Scheduling ◽  
Simulation Analysis ◽  
Object Oriented ◽  
Actual Case ◽  
Tool Failure ◽  
Scheduling System ◽  
Object Oriented Technology ◽  
Fms Scheduling

Failure in FMS includes two aspects: equipment breakdown and tool failure of which should be considered in an excellent FMS scheduling system. Most of past scheduling researches have only discussed the former and the analysis of the latter rarely seen in relevant papers. The scheduling system without tool failure processing seems to be not coincident to the actually production in which tool breakdowns are very common. This paper gives a dynamic scheduling simulation model with concern of the two kind failure using Object-Oriented technology and Colored Petri Net (OOCPN). Rescheduling strategy of tool failure is proposed and the simulation analysis is given which shows that our model and principle are effective and adaptable to actual case.

The Modeling Method and Analysis of Online Top-Up System Based on Open Petri Net

2014 ◽  
Vol 571-572 ◽  
pp. 453-456
Author(s):  
Xiao Mao Li ◽  
Xian Wen Fang
Keyword(s):  
Complex System ◽  
Petri Nets ◽  
Petri Net ◽  
Mathematical Analysis ◽  
Modeling Method ◽  
Network System ◽  
Open Network ◽  
Analysis Methods ◽  
And Behavior

Petri nets have structure and behavior properties, it is convenient to analyze some complex system based on its mathematical analysis methods. Online top-up system is an open network system. The modeling method of this system based on general Petri net has some limitations. A new modeling method based on open Petri net to study online top-up system is proposed, and analyze the open Petri net model by T-invariant. This method laid a foundation for the study of open online top-up system.

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).

Design and Implementation of Netted Radar Training Simulator

2015 ◽  
Vol 743 ◽  
pp. 882-886
Author(s):  
J.G. Yin ◽  
Cong Zhang ◽  
Dan Li ◽  
Yang An ◽  
F.Q. Zhu
Keyword(s):  
Rapid Development ◽  
Object Oriented ◽  
Simulation Method ◽  
Structure And Function ◽  
Training System ◽  
System Structure ◽  
Training Simulator ◽  
Overall Design ◽  
Object Oriented Technology ◽  
And Function

With the rapid development of information technology and deeply evolution of air-to-ground combat mode, the combat between air targets and netted radar will be an important component of future warfare. Design and development of netted radar training system is historically inevitable. This paper aims to design and develop networking radar training simulator system. We have studied and designed the system structure and function. With deeply analysis of the key model of the system, the training simulator was implemented by object-oriented technology. This paper mainly introduces the overall design of netted radar training simulator and the simulation method to realize the key models.

scholarly journals XSLT template for generating of diagram of object-oriented Petri net from the OPNML format

2008 ◽  
Vol 56 (3) ◽  
pp. 251-256
Author(s):  
Petr Jedlička
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Object Oriented ◽  
Web Browser ◽  
Vector Graphic

OPNML language is an open and portable format based on XML which is determined to the description of object-oriented Petri net. It is capable to express not only the structure of the analyzed system, but also its behavior and diagram. To display Petri net as a graph, there was created the template using XSLT language which defines the rules of transformation from OPNML language to SVG vector graphic format. SVG diagrams are then viewable with any web browser which supports SVG format, optionally relevant plug-in can be installed. The template also supports modular Petri nets as it is capable of creating several diagrams from one OPNML document. Individual diagrams can be interconnected via XLink links, so there is possible to move among them by mouse.

Constrained Petri Nets. Part II: Generalizations and extensions

1983 ◽  
Vol 6 (3-4) ◽  
pp. 333-374
Author(s):  
H.J.M. Goeman ◽  
L.P.J. Groenewegen ◽  
H.C.M. Kleijn ◽  
G. Rozenberg
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Theoretical Framework ◽  
General Constraints ◽  
Context Free ◽  
Boolean Expressions

This paper continues the investigation froll1 [Goeman et al.] concerning the use of sets of places of a Petri net as additional (to input places) constraints for granting concession. Now interpretations of more general constraints are considered and expressed as Boolean expressions. This gives rise to various classes of constrained Petri nets. These are compared in the language theoretical framework introduced in [Goeman et al.]. An upperbound for the language defining power is found in the class of context-free programmed languages.

Sign in / Sign up

Export Citation Format

Share Document