CN103093012B - A kind of product behavior stream modeling method based on Hybrid Petri Nets - Google Patents

Abstract

The invention discloses a kind of product behavior stream modeling method based on Hybrid Petri Nets, it is characterized in that, comprise: horizontal direction, be mapped to subjective functional area from objective behavior on the one hand, set up the functional mode meeting human knowledge, be the conversion of the realization-structural model from objective behavior model to behavior on the other hand, realize concrete product; Vertical direction, comprises at least two levels, and from most top layer can realize the single abstract behavior from initial state to dbjective state, to the bottom each behavior directly corresponding one simply realize structural constraint.The present invention establishes the behavior flow model of product from the behavior of product, and provide a kind of mathematical notation of accurate model, the computer utility for mathematical modeling provides new thinking, improves versatility and the practicality of Modeling in Product.

Description

A kind of product behavior stream modeling method based on Hybrid Petri Nets

Technical field

The present invention relates to Product Modeling Technology, specifically, relate to a kind of product behavior stream modeling method based on Hybrid Petri Nets.

Background technology

Product design is a complicated brainwork, needs the integrated use of varied experience and professional knowledge, and be the process of an analysis, comprehensive, reasoning, conventional CAD systems cannot embody this intelligence.The target of ICAD makes computing machine participate in design activity as much as possible, utilizes the knowledge of design specialist, experience and data to complete the design objective such as program decisions, structural design, performance evaluation, graphics process of product.The notable feature of ICAD has the knowledge base solving Product Design Problems, has the inductive decision mechanism selected knowledge, coordinate engineering data base and the common complete design task of shape library.From last century 80, the nineties, although people have different opinion to the pattern of product design and the understanding of process and definition, but substantially all can be summed up as the process of a progressively refinement, loop iteration, be the process that a design constraint is constantly decomposed, propagated and meet.Design category is belonged to conceptual design, structural design and detailed design three phases in whole design process.And current intelligent design model is based on comparatively ripe conceptual design theory, introduce intelligent algorithm simultaneously and solve whole in basic theory or problem in a certain respect as means, FBS (Function-behavior-structure) model etc. of the Axiomatic Design Theory (AxiomaticDesignTheory) that common basic concept design theory proposes as Suh, Qian and Gero proposition.In order to intelligent means can better be used, general also needs does some supplementary or changes on the basis of above-mentioned basic theory, as: Xiao Renbin etc. are based on engineering Immune computation method, provide a kind of product function planing method towards Coupling Design, independently the solution that product design provides functional planning is not completed in situation, the Coupling Design problem effectively occurred in process Design In Axiomatic Design process in function; The train of mechanism conceptual design model that Zou Huijun and Jin Xizhe etc. map based on FBS model proposition " function-behavior-structure ", by the comprehensive of physical behavio(u)r that be associated with function, practical function, to the conversion of structure, is introduced genetic algorithm and is built behavior-mechanism's mapping Optimization Solution mathematical model and method.In addition a large amount of scholar is also had to adopt genetic algorithm, the schemes generation of conceptual design of immune algorithm means research conceptual design and optimization.Visible, current model is nearly all be starting point from Functional Design, and conceptual design is concentrated on the basis of functional expression, and conceptual design, structural design and detailed design are still the main lines of design.Function does not have general expression, even if having, also can there is ambiguity, therefore versatility is very low, is unsuitable for computing machine and describes; And, function be subjective, belong to the language performance of people, and the huge difficult problem of computer science remained in the present age to the language understanding of people.

Summary of the invention

The object of the present invention is to provide a kind of product behavior stream modeling method based on Hybrid Petri Nets, study from the behavior of product, and set up the behavior flow model of product, to solve the problem that functionally modeling brings.

To achieve these goals, the technical solution used in the present invention is as follows:

Based on a product behavior stream modeling method for Hybrid Petri Nets, comprising:

Horizontal direction

Be be mapped to subjective functional area from objective behavior on the one hand, set up the functional mode meeting human knowledge, be the conversion of the realization-structural model from objective behavior model to behavior on the other hand, realize concrete product;

Vertical direction

Comprise at least two levels, and from most top layer can realize the single abstract behavior from initial state to dbjective state, to the bottom each behavior directly corresponding one simply realize structural constraint.

Further, on each level in the vertical direction, it is all the process of the output state that the product initial state be combined into from input material forms to realize target combinations of substances.

Further, the process of horizontal direction and vertical direction is mutually mutual.

Compared with prior art, beneficial effect of the present invention is:

1, the present invention focuses on research to product behavior, and sets up the behavior flow model of product from the behavior of product, thus efficiently solves that the versatility brought by function modeling is low, computing machine is difficult to the problems such as identification.

2, product behavior is objective, and function unlike, it can have unambiguous universal expression, has versatility, be also suitable for computing machine describe, therefore, the present invention has good versatility and practicality;

3, by the research directly to behavior, the state of a product, particularly initial state and dbjective state can be defined.By these two states and between the behavior of the state that affects, on the one hand can directly to existing procucts modeling, on the other hand, can according to these two states, find suitable Behavioral change sequence to realize the transformation of state, thus realize the design of new product, set up the behavior flow model of new product; Moreover behavior directly can correspond to structure, obtain the realization of product;

4, the behavior flow model of product has practicality, covers the whole life cycle of intelligent design; Simultaneously, each behavior as of a behavior storehouse element, can be preserved the behavior of existing product, thus realizes the accumulation of human knowledge and reuse by setting up behavior storehouse, there are intelligent factors such as learning and reuse, the intellectual evolution of product can be realized.

Accompanying drawing explanation

Fig. 1 is theory diagram of the present invention.

Fig. 2 is the product behavior flow model block diagram of the present invention-embodiment.

Fig. 3 is the Petri network schematic diagram of engine charge flow process in the present invention-embodiment.

Fig. 4 is the Petri network schematic diagram of engine compresses flow process in the present invention-embodiment.

Fig. 5 is the Petri network schematic diagram of engine combustion flow process in the present invention-embodiment.

Fig. 6 is the Petri network schematic diagram of engine exhaust flow process in the present invention-embodiment.

Embodiment

Below in conjunction with accompanying drawing and embodiment, the invention will be further described, and embodiments of the present invention include but not limited to the following example.

Embodiment

Before description product behavior stream modeling method, first the key concept of product behavior stream modeling framework is set forth.

One, the material in behavior flow model, behavior and behavior stream mode

(1) behavior

Be referred from the understanding of FBS model to behavior, adopt the viewpoint of body to treat behavior simultaneously.First, thinking that behavior is objective, is the objective description to the objective effect that product obtains.We have employed an apparatus body concept to describe behavior, and this spreads over the body of systems engineering and the body of facing assembly.Apparatus body specifies the viewpoint of facility center management to treat product, thinks that any product or assembly are the components of equipment, and device processes inputs, and produces the output that we need.We claim, from the entrance of equipment to outlet, to cause the process of the change of material to be behavior.Behavior is the expression that tells on to objective product structure and abstract, and be the reason causing state of matter to change, its operand is material.As shown in Figure 1, wherein P, N represent behavior, the material of M representative operation, and be the change causing state of matter to the result of material operation, therefore, behavior is an operator, and be a unit operations symbol, symbol is Λ, can realize following calculating:

Λ(M ₁，...M _n)＝(M _i，..，M _j)

Wherein, (M ₁... M _n) represent the combinations of substances inputted, (M _i.., M _j) the rear combinations of substances exported of representative operation, front and back are unlike the state of material, and therefore, behavior is the reason causing state of matter to change, so can define Λ is:

Λ＝(M _i，..，M _j)/(M ₁，...M _n)

(2) object of behavior--material

Mention material and state of matter before, will the state of material and material have been set forth below.Claim also to be called material by the thing of device processes in this process through the entrance from equipment to outlet, usually dividing material is three types:

Solid substance, refers to that we can experience the material of entity existence, such as water, starting material of various processing etc.;

Energy matter, refers to the heat energy related in product operational process, kinetic energy homenergic;

Information substance, refers in information such as the control signals related in product operational process.

Because material is the outwardness in objective world, therefore can be described material by thing qualitative attribution, this is physical parameter.We can define material by Object--oriented method, are defined as follows:

Class name: the title of material

Attribute list:

Type: the identification numeral of type

Identifier: unique identification numeral of material

Parent: the super parent of material

Quantity: the quantity of material

Phase place: material exhibits state out, solid, liquid etc.

Position: entrance, outlet, inner

Parameter: the physical parameter list of tie substance

Parameters relationship: the relation between parameter

Therefore, by the value list of material property item, we can the current situation of unique identification material, claims this attribute list to be state of matter, is expressed as follows:

State of matter S:< type, identifier, parent, quantity, phase place, position >

(3) the behavior stream of product and behavior stream mode

As previously mentioned, behavior process input material, the material after output processing, change be the state of material.As shown in Figure 1, the head office of product is be not often can be completed by independent behavior, on the contrary, is using the input of the output of a behavior as next behavior simultaneously, the natural relation forming " stream " between this input and output.This " stream " has the concept field of two aspects: one is the flowing of material in all action processes; Two is these successive behavior constituting action strings, and the element in " stream " is behavior.As shown in Figure 1, achieved the function of product by the behavior " stream " of product, behavior " stream " describes process and the mechanism of product function realization.All functions that can realize, can be realized by a behavior stream, from this angle, we can define behavior stream ∏ as follows:

make Λ _k..., Λ ₂Λ ₁(M ₁..., M _n) → F, we claim ∏=Λ _k..., Λ ₂Λ ₁for behavior stream.Wherein (M ₁... M _n) represent the input material of product at behavior place.Behavior stream is exactly a string behavior operation.

Although behavior operation to as if material, what change is the state of material, and by the state of material, each material represents that it exists just, namely represented the existence of material in a model by the state of material.State is material in a model abstract.Therefore, behavior, to the operation of material, can be equivalent to the calculating of operator to state of matter in a model.Can transform as follows:

Wherein, (S ₁..., S _n) represent current involved combinations of substances (M ₁..., M _n) state.

Any product can be considered as a system, and is the system be in certain environment, be not isolated, and the environment at place exists the exchange of material or energy.Any system has oneself state, and so-called system state, refers to the situation residing for system, generally indicates by one group of physical quantity.Therefore, we can by describing the state in behavior flow model of product to the description of the state of matter involved by behavior stream.In addition, the state of the environment residing for product is also a part for Product Status, such as temperature, heat, switch etc.Therefore, can define product behavior stream mode is

Behavior stream mode: (ambient condition, state of matter combines)

In each product, the difference of the position residing for material, is divided into three kinds of set the material that product relates to, and the state of matter of product is namely made up of the state in these three kinds set.These three kinds of materials are porch material respectively, are retained in the material of interiors of products and the material of outlet.So the combination of product state of matter can be expressed as:

State of matter combines: < entrance state of matter | export material state | and inner material state >

We define the stastus format in product behavior flow model, and the behavior stream mode of product is:

S＝(S _e，<S _i1，...，S _in|S _o1，...，S _om|S ₁，...，S _om>)

Behavior is flow through in journey and operates latter two different behavior stream mode S arbitrarily _band S _eif there is behavior stream ∏=Λ ₁... Λ _kmake S _e=∏ S _b, we claim behavior stream mode S _bto S _ecan reach.For behavior stream modes different in unified behavior flow model, we accord with by defining operation represent the difference operation of behavior stream mode, be expressed as

$\mathrm{\&Pi;}=S_e\mathrm{\&Xi;}{S}_b$

The result of difference is the behavior causing state to change.Therefore, S is worked as _eand S _bonly during a difference behavior, redefining Λ state operator is

$\mathrm{\&Lambda;}=\mathrm{\&Pi;}=S_e\mathrm{\&Xi;}{S}_b$

Wherein, Len (S _e, S _b)=1. we with Len (S _e, S _b) represent and be defined as follows the length of behavior stream between two states:

Therefore, implicit expression behavior stream can be carried out by status switch.Namely

Wherein have , ...,

Therefore, we can presentation function F be again

Wherein S _nand S ₁represent behavior stream respectively to terminate and the behavior stream mode of product at first.Therefore, state S can be passed through _nand S ₁carry out presentation function.

Two, the relation of function in behavior stream, behavior and structure

As shown in Figure 1, behavior is the objective description in objective field, and function is a kind of subjective understanding, is the autotelic explanation of the result to behavior; Function is worked by behavior, and behavior is the realization of function; Function is subjective concept, and behavior is objective conception.According to the description of behavior stream and behavior stream mode, the relation of behavior stream and function can be treated from dynamic and static state two aspects.On the one hand, stop two states from initial sum, can defined function representative function E be:

$E\left(f_i\right)=S_{\mathrm{ni}}\mathrm{\&Xi;}{S}_{1i}$

Wherein f _ipresentation function parameter, S _niand S _1irepresent the termination for correspondence and initial state respectively; On the other hand, the realization of function depends on corresponding objective behavior stream, and the process of realization is the dynamic process that a behavior is relevant, and can define measure for fulfill I is:

I(f _i)＝Λ _1iΛ _2i...Λ _(n-1)i

Wherein f _ipresentation function parameter, Λ _1i, Λ _2i..., Λ _{(n-1) i}behavior corresponding in journey is flow through in expression behavior.

Like this, to the explanation of the state change of each dynamic behavior stream or static state, the functional mode of product can be obtained.So can be converted to the functional mode of product from the behavior flow model of product, meanwhile, this conversion has the level corresponding relation mapped one by one, namely in the vertical level of behavior stream modeling, every one deck has corresponding functional mode.

As noted earlier, behavior stream is the description to objective results, and prerequisite is the objective physical world born results.Any one behavior in behavior stream, all depends on specific product entity to realize.We call structure so objective realization, include material base and the three-D space structure of specific implementation.The change of structure produces all behaviors and function basis, and behavior is the objective description of the result to this change.As shown in Figure 1, in product behavior flow model, each behavior has corresponding structure to realize behavior.For a behavior, different structures and other mappings may be had, that is:

Wherein B represents behavior storehouse, and S represents structural library,

In like manner, each structure, has one or more behavior to map mutually, that is:

Wherein B represents behavior storehouse, and S represents structural library,

Like this, for the behavior flow model of product, when the behavior stream of product is sub-divided into " granularity " to a certain degree time, corresponding structural elements can be found to the behavior in behavior stream in behavior storehouse, thus realize the rapid conversion that subordinate act flow model realizes to concrete structure, be the most important link that new product designs completes fast, cover whole design cycle.

Three, the level of product behavior flow model

In FIG, we can see the behavior flow model of corresponding product, have obvious level in vertical direction abstract and divide.Distinguishing hierarchy is an effective instrument in model investigation, can the granularity of conservative control modeling and the yardstick of convergent-divergent.Existing product is being carried out in the process of behavior stream modeling, expanding to concrete behavior stream from the behavior stream of the high abstraction of top layer.Top layer behavior stream represents the process from input state to output state, can be expressed as follows:

L1S _iΛS _o

And for top layer abstract behavior Λ, may be come by a string behavior, therefore, can decompose as follows:

L2S _iΛ ₁₁Λ ₂₁，...，Λ _n1S _o

In like manner, for any one behavior Λ in level i _..i, exist and decompose as follows:

L _iS _...inΛ _..1(i+1)Λ _..2(i+1)，...Λ _..1(i+k)S _...out

Wherein, S _{... in}expression behavior Λ _..ithe state of input before, S _..outthe state exported after expression.Therefore, by the recursive iteration of level, can the level of reasonable representation and control representation product.

It should be noted that as shown in Figure 1, behavior flow model and the corresponding functional mode of product have obvious hierarchical relationship, and the level mapping of structure and behavior is not often direct one_to_one corresponding.This is that structure is actual outwardness, and function is subjective abstract, and behavior is objective abstract to outwardness.Therefore, we to the function of the corresponding subjective teleological interpretation of each behavior, but can not find special structure for the behavior of each higher level in certain product because structure often each other mutual, weave in show global behavior.Therefore, only get over bottom at the level of behavior decomposition, structure corresponding to each behavior is simpler, just may find the directly corresponding structure realized.According to the relation that level contrasts and realizes, our define behavior unit represents the behavior that the behavior string combination that can not be further subdivided into less " granularity " has come can have direct structure mapping; Our defined function unit represents the functional interpretation corresponding to behavior unit.

Four, based on the product behavior stream modeling method of Hybrid Petri Nets

Emphasis is explained the most basic part of product behavior stream modeling below: set up product behavior flow model according to product behavior and represent product.In order to accurate mathematical definition and expression can be had to the behavior flow model of product, introduce Petri network and come the modeling of product behavior stream.

4.1 product behavior stream Hybrid Petri Nets models

First define a kind of Petri network model based on product behavior stream, consecutive row in journey and discrete behavior are flow through in the behavior completing function for specification and analysis product.This model introduces the Tuo Ken with continuation property, with the change procedure of continuous state in relevant dynamic equation descriptive system.

Definition 1: the Hybrid Petri Nets system (HPNs) of behavior flow model

HPNs=(P, T, A, R, C, E, β, M ₀) wherein:

(1) P={p ₁, p ₂..., p _nthat limited state repository gathered, in behavior stream flow model, with these storehouses represent that the state in journey is flow through in behavior.Comprise continuous state storehouse institute P _cwith discrete state storehouse institute P _d, wherein P=P _c∪ P _d,

(2) T={t ₁, t ₂..., t _mthe set that limited behavior changes, at behavior flow model, flow through the behavior in journey with the next corresponding behavior of transition.Comprise Continuous behavior T _cwith discrete behavior T _d, wherein T=T _c∪ T _d, corresponding.

(3) A be state repository and behavior between directed arc set, A ∈ (P × T) ∪ (T × P); Be used for the direction of expression behavior stream.

(4) R is and the tie-in equation set corresponding to continuous state storehouse, and the tie-in equation that continuous state storehouse institute p is corresponding is denoted as R (p).As p ∈ P _cduring by mark, the attribute of continuous state γ changes according to R (p); Attribute specification about γ is shown in definition 2; This is used for the change of the continuous factor of the state described in action process.

(5) C is the set of circumstances corresponding with Continuous behavior, and the condition that Continuous behavior t is corresponding is denoted as C (t);

(6) E={e ₁, e ₂..., e _{| TD|}limited behavior event set, the behavior of the generation discrete state factor in journey is flow through in corresponding behavior.

(7) β: E → T _dbe the mapping function one to one that event arrives discrete behavior, represent the discrete behavior of each event correlation;

(8) M ₀be initial mark, represent the system state in moment 0, namely represent the initial state of behavior stream.

Definition 2: status attribute

Continuous state γ, has multiple attribute: <a ₁, a ₂... >, is denoted as γ=<a ₁, a ₂... > wherein, attribute a _ifield of definition be D.Then there is γ ∈ D ₁× D ₂× .... continuous state γ changes according to the tie-in equation R in definition 1.Discrete state is expressed as δ, and its definition defines identical with ordinary Petri net.Represented the state of various different material by continuous and discrete state, represented the state of whole behavior stream by the combination of state of matter.

Definition 3: event set

The discrete behavior of event correlation of HPNs.The triggering of discrete behavior shows the generation of event in system.

Definition 4: the Status Flag of Hybrid Petri Nets system

A series of Status Flag at a time can represent the dynamic behaviour of system.Use herein state repository and the Status Flag of set expression system of state, i.e. M _i={ (P _c, γ), (P _d, δ) }, do not have the storehouse of state not appear in set.

The consecutive variations of the state parameters such as motor car engine is a typical commingled system, the rotating speed power that in system, existing engine exports, relates to again driver and operates such discrete event.Therefore, modeling is obtained for engine behavior stream, should discrete event be considered, also will consider continuous state.

In engine operation process, what relate to is conversion between material, and according to as defined above, we can describe behavior flow model process by the change of the state of matter in engine operation process.The top layer of the behavior arrangement of our first abstract engine time behavior, mainly two behaviors: one is be the gaseous mixture of air and gasoline air and gasoline conversion, and this is the behavior of mixer; Two is processes potpourri being converted to energy, and this is the behavior of cylinder; According to definition, can define the Petri network model of top layer, the definition wherein changed is in table 1, and storehouse definition is in table 2.

In the behavior stream Petri network of top layer:

(1) P is gathered in Continuous behavior storehouse _c={ p ₀, Continuous behavior set T _c={ t ₀}

(2) P is gathered in discrete state storehouse _d={ p ₁, p ₂, p ₃, p ₄, discrete behavior set T _d={ t ₁, t ₂, t ₃}

(3) initialisation identifications M ₀={ (P _c, γ), (P _d, δ) }={ (p ₀, γ ₀), (p ₃, δ ₀), γ wherein ₀property value is <e ₀, v ₀>, discrete state storehouse institute p ₃status Flag δ ₀represent and receive mixer run signal.

Table 1

Table 2

4.2 behavior stream transition triggering rule

System divides can be that two parts carry out modeling: continuous part and discrete portions by HPNs under a mould punishment framework.Continuous part comprises continuous state storehouse institute and Continuous behavior, for continuous variable dynamic process in descriptive system; Discrete portions comprises discrete state storehouse institute and discrete behavior, for discrete event dynamic process in descriptive system.Therefore the triggering rule changed should consider continuous part and discrete portions ask influence each other and alternately, consider continuous mark and discrete marker change separately again.

4.2.1 the enable and triggering rule of discrete behavior

Definition 5:t ∈ T _dbe enable, and if only if

$\left\{\begin{array}{c}\&ForAll;p\&Element;I\left(t\right)\&cap;P_C,\&Exists;\mathrm{\&gamma;}\&Element;M\left(p\right)\\ \&ForAll;p\&Element;I\left(t\right)\&cap;P_D,\&Exists;\mathrm{\&delta;}\&Element;M\left(p\right)\end{array}\right.---\left(1\right)$

In formula, I (t) is the input state storehouse institute of behavior t; M (p) is the marker function of p.

The triggering rule of discrete behavior t is as follows

$\left\{\begin{array}{c}\&ForAll;p\&Element;I\left(t\right)\&cap;P_C,\&Exists;\mathrm{\&gamma;}\&Element;M\left(p\right),\&ForAll;p^{\&prime;}\&Element;O\left(t\right)\&cap;P_C\\ M\left(p\right):=M\left(p\right)\backslash \left\{r\right\},M\left(p^{\&prime;}\right):=M\left(p^{\&prime;}\right)\\ \&ForAll;p\&Element;I\left(t\right)\&cap;P_D,\&Exists;\mathrm{\&delta;}\&Element;M\left(p\right),\&ForAll;p^{\&prime;}\&Element;O\left(t\right)\&cap;P_D\\ M\left(p\right):=M\left(p\right)\backslash \left\{\mathrm{\&delta;}\right\},M\left(p^{\&prime;}\right):=M\left(p^{\&prime;}\right)\&cup;\left\{{\mathrm{\&delta;}}^{\&prime;}\right\}\end{array}\right.---\left(2\right)$

In formula, O (t) is the output state storehouse institute of behavior t.

In static model as described before, discrete behavior t ₁the prerequisite occurred is to gather { p for input state storehouse ₁, p ₂, p ₃in any one state repository institute, all must make storehouse state in the state set corresponding to storehouse.For state repository institute p ₃, current satisfied state set M (p ₃)={ 1}, only when be met required by one of them storehouse.When all meeting required by all three storehouses, discrete behavior t ₂occur.Event t ₂after generation, input state storehouse effective status set M (p) and export storehouse institute p ' state set M (p ') occur iteration replace, for input magazine institute p, current state δ is got rid of from this storehouse institute's state set M (p), revise storehouse institute state again, for output storehouse institute p ', storehouse institute status modifier is new state δ ', upgrades effective status set M (p ').

4.2.2 the enable and triggering rule of Continuous behavior

Definition 6:t ∈ T _cbe enable, and if only if

$\left\{\begin{array}{c}\&ForAll;p\&Element;I\left(t\right)\&cap;P_C,\&Exists;\mathrm{\&gamma;}\&Element;M\left(p\right)/C\left(t\right)\left(\mathrm{\&gamma;}\right)\\ \&ForAll;p\&Element;I\left(t\right)\&cap;P_D,\&Exists;\mathrm{\&delta;}\&Element;M\left(p\right)\end{array}\right.---\left(3\right)$

In formula, C (t) represents the condition that t associates, and C (t) (γ) represents whether continuous state γ satisfies condition C (t).When γ meets the condition that C (t) associates, C (t) (γ) is true; Otherwise C (t) (γ) is false.Produce following triggering rule

$\left\{\begin{array}{c}\&ForAll;p\&Element;I\left(t\right)\&cap;P_C,\&Exists;\mathrm{\&gamma;}\&Element;M\left(p\right)/C\left(t\right)\left(\mathrm{\&gamma;}\right)\\ \&ForAll;p^{\&prime;}\&Element;O\left(t\right)\&cap;P_C\\ M\left(p\right):=M\left(p\right)/\left\{\mathrm{\&gamma;}\right\},M\left(p^{\&prime;}\right):=M\left(p^{\&prime;}\right)\&cup;\left\{\mathrm{\&gamma;}\right\}\\ \&ForAll;p\&Element;I\left(t\right)\&cap;P_D,\&Exists;\mathrm{\&delta;}\&Element;M\left(p\right)\\ \&ForAll;p^{\&prime;}\&Element;O\left(t\right)\&cap;P_D\\ M\left(p\right):=M\left(p\right)\left\{\mathrm{\&delta;}\right\},M\left(p^{\&prime;}\right):=M\left(p^{\&prime;}\right)\&cup;\left\{\mathrm{\&delta;}\right\}\end{array}\right.---\left(4\right)$

As shown in formula (3), the enable condition that Continuous behavior occurs is different with discrete transition be input state storehouse in the state γ of continuous state storehouse institute must meet the continuous condition C (t) changed.As the continuous transition t0 in table 3 below ₂, input state storehouse only has a continuous state storehouse institute p0 ₄, and the condition occurred is p0 ₄continuous state γ=v _cmeet specified requirements v _c>=v ₀.Transition rule after event occurs is identical with discrete behavior.

Generally speaking, based on the product behavior stream modeling method of Hybrid Petri Nets, comprise water and vertical two aspects, horizontal direction: be mapped to subjective functional area from objective behavior on the one hand, set up the functional mode meeting human knowledge, be the conversion of the realization-structural model from objective behavior model to behavior on the other hand, realize concrete product.It relates to the relation of behavior flow model and 26S Proteasome Structure and Function.Vertical direction represents the flow process of behavior stream modeling, be one from macroscopic view to microcosmic, the process that " granularity " is from coarse to fine.And on each vertical level of behavior flow model, be all the process of the output state that the combinations of substances from the product initial state that is combined into of input material to realize target forms.Behavior flow model is one and has the abstract model of level, from most top layer can realize the single abstract behavior from initial state to dbjective state, to the bottom each behavior directly corresponding one simply realize structural constraint.The process in horizontal and vertical direction is mutual mutually.

Below for engine behavior stream, product behavior stream of the present invention modeling is described.

For the part of engine core, being energy from gasoline conversion, is an abstract behavior.As previously mentioned, in order to pay close attention to core process, we need refinement emphasis flow process.The behavior mainly contains Four processes and realizes: air inlet flow process, compression process, burning flow process, exhaust flow path.Four processes progressively circulates and carries out, and relates to synchronous and mutual exclusion.Expand the above-mentioned behavior being energy from gasoline conversion, wherein, air inlet flow process as shown in Figure 3.

For the explanation in air inlet flow process, respectively in table 3 and table 4.

Table 3

Table 4

In behavior stream, concern be the flowing of material, comprise and generate and transform (comprising the conversion of state).Behavior t0 ₁consume commencing signal Token, material outside afterwards enters inside, represent the input quantity in observing interval, represent the inner increment of volume in observing interval.When meeting t0 ₂during the condition changed, admission stroke terminates, and produces the control signal (information substance) that compression procedure starts.

The Petri network of compression process is represented as Fig. 4.

For the explanation of the mark in compression process, respectively in table 5 and table 6.

Table 5

Table 6

When entering compression process, transition t0 ₃consume p0 ₃in Token, starting will the potpourri compression of input, reduces space residing for potpourri, represent the reduction in unit observing interval, this is not a constant.V _lrepresent volume when reaching top dead center position, work as v _o≤ v _ltime, pressure stroke terminates, and produces combustion stroke and starts control signal.

Next, the Petri network of burning flow process is represented as Fig. 5.

For the explanation of the mark in burning flow process, respectively in table 7 and table 8.

Table 7

Table 8

When arrival top dead centre, transition t0 ₅occur, compressed mixture is lighted, and produces the waste gases after burning and energy.P0 ₁₁the energy represented is abstract to specific implementation, and quantity is according to mixture of substances amount m ₀for the formulae discovery of parameter, output in external environment condition.V _qrepresent the volume of combustion stroke finish time.Work as v _c≤ v _q, combustion stroke terminates, and produces out stroke and starts control signal.

Finally, the Petri network for exhaust flow path represents as Fig. 6.

For the explanation of the mark in exhaust flow path, respectively in table 9 and table 10.

Table 9

Table 10

When entering exhaust flow path, the waste gases of inside is discharged into outside, v _prepresent the minimum volume after exhaust, work as v _c≤ v _ptime, exhaust terminates, and produce the control signal that admission stroke starts, circulation restarts.

But, in four flow processs, only have a flow process to produce power.In order to produce power powerful lastingly, general motor car engine often several cylinder exists simultaneously, sets forth lasting power by the cooperation mutually.This just needs the synchronous and coordination controlled between difference cylinder.Fig. 2 is that the Petri network of general four cylinder engine describes, wherein every one group, two cylinders, and other two are in different Petri process at synchronization and satisfy the demands.

According to above-described embodiment, just the present invention can be realized well.

Claims (3)

1., based on a product behavior stream modeling method for Hybrid Petri Nets, it is characterized in that, comprising:

Horizontal direction

Be be mapped to subjective functional area from objective behavior on the one hand, set up the functional mode meeting human knowledge, be the conversion of the realization-structural model from objective behavior model to behavior on the other hand, realize concrete product;

Vertical direction

Comprise at least two levels, and from most top layer can realize the single abstract behavior from initial state to dbjective state, to the bottom each behavior directly corresponding one simply realize structural constraint;

Concrete definition product behavior stream Hybrid Petri Nets model: Hybrid Petri Nets system (HPNs)=(P, T, A, R, C, E, β, M ₀)

Wherein: P is that limited state repository gathered, for representing that the state in journey is flow through in behavior; T is the set of limited behavior transition, flows through the behavior in journey with the next corresponding behavior of transition; A be state repository and behavior between directed arc set, for representing the direction of behavior stream; R is and the tie-in equation set corresponding to continuous state storehouse, for describing the change of the continuous factor of the state in action process; C is the set of circumstances corresponding with Continuous behavior; E is limited behavior event set, and the behavior of the generation discrete state factor in journey is flow through in corresponding behavior; β is the mapping function one to one that event arrives discrete behavior, represents the discrete behavior of each event correlation; M ₀the initial state of expression behavior stream.

2. a kind of product behavior stream modeling method based on Hybrid Petri Nets according to claim 1, it is characterized in that, on each level of vertical direction, it is all the process of the output state that the product initial state be combined into from input material forms to realize target combinations of substances.

3. a kind of product behavior stream modeling method based on Hybrid Petri Nets according to claim 2, it is characterized in that, the process of horizontal direction and vertical direction is mutually mutual.