Object-Oriented Petri Net Modeling and Analysis of China Railway Container Freight Yard Logistic System

2011 ◽  
Vol 467-469 ◽  
pp. 990-995
Author(s):  
Li Wang ◽  
Xiao Ning Zhu ◽  
Zheng Yu Xie
Keyword(s):  
Dynamic System ◽  
Petri Net ◽  
Discrete Event ◽  
Object Oriented ◽  
Operation Time ◽  
Modeling And Analysis ◽  
China Railway ◽  
Event Dynamic ◽  
Container Freight ◽  
High Coordination

The railway container freight yard logistic system is a typical discrete event dynamic system (DEDS) and has the feature of high randomness, low flexibility, uncertainty of operation time and high coordination demand of facilities. Object-oriented petri net (OPN) inherits the petri net (PN) advantages for efficiently describing the asynchronism, concurrency, distributivity, parallel DEDS and overcomes the disadvantages when faces complex discrete element dynamic system. We choose object-oriented petri net to model and analyze China railway container freight yard logistic system and get the object OPN model and communication relation net.

Hybrid adaptive Petri nets: a conceptual framework for partial fluidization of Petri nets

1970 ◽  
pp. 50
Author(s):  
E. Fraca ◽  
J. Júlvez ◽  
M. Silva
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Dynamic Systems ◽  
Discrete Event Systems ◽  
Discrete Event ◽  
Modeling And Analysis ◽  
Analysis Techniques ◽  
High Transition ◽  
Large Systems ◽  
Event Dynamic

Petri nets (PNs) constitute a well known family of formalisms for the modeling and analysis ofDiscrete Event Dynamic Systems (DEDS). As most formalisms for discrete event systems, PNssuffer from the state explosion problem, which renders enumerative analysis techniquesunfeasible for large systems. A technique to overcome the problem is to relax integralitycontraints of the discrete PN model, leading to continuous PN. This relaxation highly reducesthe complexity of analysis techniques but may not preserve important properties of theoriginal PN system such as deadlock‐freeness, liveness, reversibility, etc. This work focuses onHybrid Adaptive Petri nets (HAPNs), a Petri net based formalism in which the firing oftransitions is partially relaxed. The transitions of a HAPN can behave in two different modes:continuous mode for high transition workload, and discrete in other case. This way, a HAPN isable to adapt its behaviour to the net workload, it offers the possibility to represent morefaithfully the discrete model and use efficient analysis techniques by behaving as continuouswhen the load is high. Reachability space and the deadlock‐freeness property of hybridadaptive nets is studied in this work.

Sign in / Sign up

Export Citation Format

Share Document