CN102164040A - Method for simulating state transition of hot billing (HB) system based on Petri network with inhibitor arcs - Google Patents
Method for simulating state transition of hot billing (HB) system based on Petri network with inhibitor arcs Download PDFInfo
- Publication number
- CN102164040A CN102164040A CN2011100403884A CN201110040388A CN102164040A CN 102164040 A CN102164040 A CN 102164040A CN 2011100403884 A CN2011100403884 A CN 2011100403884A CN 201110040388 A CN201110040388 A CN 201110040388A CN 102164040 A CN102164040 A CN 102164040A
- Authority
- CN
- China
- Prior art keywords
- petri
- arc
- module
- transition
- net
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
Images
Abstract
The invention relates to a method for simulating the state transition of a hot billing (HB) system based on a Petri network with inhibitor arcs. The method comprises the following steps of: 1, dividing the state of the HB system into a running state module, an online/offline module and a disaster tolerant module; 2, determining places, transition and distribution conditions of initial tokens of each module; 3, connecting directed arcs according to dependence or function relations between the transition and the places by using each module to form corresponding Petri sub-modules of each module respectively; 4, connecting the Petri sub-modules by using the directed arcs or the inhibitor arcs to form an integral Petri model according to relations among the three modules; and 5, performing control based on a Petri middleware platform, and performing automatic analysis and checking on the integral Petri model obtained by the step 4. By the method, the real-time state of the HB system can be displayed, so that operators and maintainers can instantly know and properly control the processing progress and health degree of the state transition of the HB system.
Description
Technical field
The invention belongs to the telecommunication technology field, particularly relate to a kind of method that suppresses the Petri net simulation HB system mode conversion of arc based on band.
Background technology
In order in intense market competition, to get on the ground floor, each operator is necessary for that the client provides abundant service tariff strategy, bundling, prepayment/back are paid mutually flexibly to be changeed, unified payment, unified bill management etc., sets up in real time, Convergence Billing System flexibly.Convergence Billing System is by real time billing and quasi real time charging (HB, be Hot Billing) two parts composition, two systems all can realize the charging processing of the multiple business of telecommunications, but concrete charging process depends on the real-time requirement that operator charges, deducts fees the client in which system handles.Quasi real time charging (Hot Billing) is commonly called as heat and charges, and is a kind of of offline charging, be characterized in that charge system obtains service recorder with on-line mode after, charge immediately, shorten as far as possible professional use with charging between time difference.Hot charge system (HB system) has three kinds of states: running status (Offline, Maintenance, Online), and at net/from net, disaster tolerance (active/standby).Because service billing is one of most important link of communication operation, the regular traffic operation that the HB system keeps fit and could guarantee operator, so the O﹠M personnel often need change the HB system to safeguard between three kinds of states.Because the importance of HB system, the O﹠M personnel wish to understand immediately the processing progress and the health degree of HB system mode conversion, thereby suitably control, such as: when the generation disaster is recovered automatically, the operation of understanding completed handover operation, current each system mode and also needing to carry out.
The Petri net is a kind of system model that is suitable for describing asynchronous concurrent phenomenon as a kind of graphical mathematical tool.Prototype Petri net may be defined as N=(P, T; F, M
0), promptly elements such as storehouse institute, transition, directed arc and initial marking are formed, though prototype Petri nets existing abundant description means and network analysis technology, do not possess zero detectability.The analog capability that band suppresses the Petri net of arc has substantive the enhancing than prototype Petri net, and it is the inhibition arc formation that increases a kind of link library institute and transition on the basis of prototype Petri net.
The Petri of band inhibition arc possesses zero detectability and promptly has the analog capability that is equal to Turing machine.It uses five elements to be system modelling (the weights function is defaulted as 1, and capacity function is defaulted as infinity): storehouse institute (Place), transition (Transition), inhibition arc (Inhibitor), directed arc (Arc) and token (Token).Storehouse institute (Place): expression resource, buffering area, condition, state etc.Transition (Transition): expression process, incident or algorithm etc.Suppress arc (Inhibitor): whether expression allows to start to control to make to the transition that possess occurrence condition is used.Directed arc (Arc): expression transition and storehouse between dependence or interactively.Token (Token): the expression resource can be used or condition establishment or resource quantity etc.The static function and the structure of system represented in the connection of storehouse institute, transition, inhibition arc, directed arc, token the storehouse in distribution situation represent the state (sign) or the resource quantity of system, the dynamic behaviour of moving descriptive system with token is lighted in transition.
Whether the transition that the inhibition arc of Petri net only possesses occurrence condition to (under prototype Petri net meaning) allow to start to control is made usefulness.In a single day transition take place, and suppress arc the sign variation that causes is not thus exerted an influence.The Petri net that band suppresses arc is defined as: N=(P, T; F, I, M
0), wherein: P is collected by the storehouse, and the used circle in each storehouse is represented; T is the transition collection, and each transition is represented with horizontal stripe; F is a directed arc,
I can only suppress arc and be equivalent to the arrow of a directed edge is changed into a small circle from transition that the storehouse is guided into for suppressing arc; M
0Be initial marking, the available n-dimensional vector of the sign of N represents that wherein n is storehouse institute number among the net N, and each component is represented the contained token number in corresponding storehouse.Suppress the Petri net modeling analysis method of arc by band, preferably problems such as common synchronous, concurrent, resource-sharing, conflict, deadlock in the assistant analysis complication system.
Summary of the invention
Therefore, the objective of the invention is to simulate the conversion of HB system mode based on the Petri net of band inhibition arc.
For achieving the above object, the invention provides a kind of method of changing based on the Petri net simulation HB system mode of band inhibition arc, comprise the steps:
Step 1, with the HB system mode be divided into the running status module, at net/from net module and three modules of disaster tolerance;
Step 2, suppress the Petri net of arc based on band, different conditions with storehouse each module of representative, represent switching between each inside modules different conditions with transition, with the residing state of distribution situation representation module of token, determine the distribution situation of storehouse institute, transition and the initial token of each module respectively;
Step 3, each module respectively according to transition and storehouse between dependence or interactively carry out being connected of directed arc, form the pairing Petri submodel of each module respectively;
Step 4, according to concerning between three modules, with directed arc or suppress arc described Petri submodel is connected into a Petri block mold;
Step 5, control, the Petri block mold that step 4 obtains is analyzed and verification automatically based on the Petri middleware platform.
Wherein, also comprise: step 6, the described Petri block mold of application abbreviation rule abbreviation of equal value.
Wherein, also comprise: step 7, judge the Petri block mold bounded whether behind the step 6 abbreviation, if bounded is then set up corresponding reachability graph.
The present invention can simulate the conversion of HB system mode based on the Petri net of band inhibition arc, can show the real-time status of HB system, allows the O﹠M personnel understand the processing progress and the health degree of the conversion of HB system mode immediately, thereby suitably controls; Adopt abbreviation rule of equal value to carry out abbreviation, efficiently solve " state space blast " problem of Petri net at the Petri block mold; Figure sets up the reachability graph at abbreviation, has realized the characteristics such as activity, boundedness, fail safe of rapid analysis HB system mode conversion by the reachability graph, and auxiliary O﹠M personnel carry out the conversion of HB system mode.
Description of drawings
Below in conjunction with accompanying drawing,, will make technical scheme of the present invention and other beneficial effects apparent by the specific embodiment of the present invention is described in detail.
In the accompanying drawing,
Fig. 1 is the schematic diagram that the band of the resulting simulation of application the present invention HB system mode conversion suppresses the Petri net of arc;
Fig. 2 is a series connection schematic diagram that the storehouse merges;
Fig. 3 is a schematic diagram that storehouse in parallel merges;
Fig. 4 mixes abbreviation I schematic diagram;
Fig. 5 mixes abbreviation II schematic diagram;
Fig. 6 eliminates self loop transition schematic diagram;
Fig. 7 eliminates self loop storehouse institute schematic diagram;
Fig. 8 is the series connection schematic diagram that the storehouse merges that band suppresses arc;
Fig. 9 is the transition merging schematic diagram in parallel that band suppresses arc;
Figure 10 is the mixing abbreviation I schematic diagram that band suppresses arc;
Figure 11 eliminates the self-loopa transition schematic diagram that band suppresses arc;
Figure 12 is the schematic diagram that the band that obtains behind the reduced graph 1 suppresses the Petri net of arc;
Figure 13 is reachability graph's schematic diagram that the band of Figure 12 suppresses the Petri net of arc.
Embodiment
As shown in Figure 1, it suppresses the Petri net schematic diagram of arc for the band of using the conversion of the resulting simulation of the present invention HB system mode, in Fig. 1 and accompanying drawing subsequently, circular node library representation institute (Place), the solid squares node is represented transition (Transition), the storehouse and transition between the wire list of band arrow show directed arc (Arc), be with the line of circle to represent to suppress arc (Inhibitor) between storehouse institute and the transition, black circle is represented token (Token).
Obtain the process that band shown in Figure 1 suppresses the Petri net of arc and may further comprise the steps according to the present invention is based on method that band suppresses the Petri net simulation HB system mode conversion of arc:
Step 1, with the HB system mode be divided into the running status module, at net/from net module and three modules of disaster tolerance; Analyze three kinds of states of existing HB system, comprise running status (specifically being divided into Offline, Maintenance, Online), at net/from net, disaster tolerance (active/standby) and relation thereof, with HB system divides and arrangement, realize the modularization of three kinds of states of HB system, specific as follows.
1.1 running status module: under this module, comprise Offline, Maintenance, three kinds of states of Online and between state exchange.
1.2 at net/from the net module: comprise from net and networking two states and between state exchange.Be appreciated that HB system, can determine the running status module and in the relation of net/between the net module: only could network at the Online state for reality; Before switching to Offline or Maintenance state from Online, must be first from net.When promptly networking, whether the transition that available inhibition arc control possesses occurrence condition allow to carry out.
1.3 disaster tolerance (active/standby) module: comprise main system and be equipped with system's two states and between state exchange, and, for the HB system of reality: switch between the active and standby system and can only carry out at the Maintenance state.
The different conditions of step 2, usefulness storehouse each module of representative, represent switching between each inside modules different conditions with transition, with the residing state of distribution situation representation module of token, determine the distribution situation of storehouse institute, transition and the initial token of each module respectively; Analyze according to each module, determine storehouse institute, transition and initial token thereof earlier, at each module, then which represents the token that the storehouse is held of this state if which status condition is set up.
2.1 for the running status module, the Online state can be subdivided into: Online normal condition, Online overload state, Online malfunction; The Offline state can be subdivided into: Offline normal condition, Offline malfunction.Each state can be represented with the storehouse, and then called after: the P0_Online_ that the storehouse can be distinguished of running status module is normal, the P1_Online_ excess load, and the P2_Online_ fault, P3_Offline_ is normal, P4_Offline_ fault, P5_Maintenance.According to relying on or interactively between them, the handoff procedure between the running status is represented in available transition.The transition of running status module are respectively: it is normal that T0_Off normally arrives On, T1_Off normally arrives Maint, it is normal that T2_On normally arrives Off, T3_On normally arrives the Online excess load, T4_On normally arrives the On fault, T5_Online normally arrives Maint, the T6_On excess load is to the On fault, the T7_On excess load is normal to On, the T8_On excess load is normal to Off, the T9_On fault is normal to On, the T10_On fault is to the Off fault, the T11_Off fault is normal to Off, T12_Maint is normal to Off, T13_Maint is normal to On.Herein successively by all storehouses of the judgement of each storehouse and other relation, if can switch to another state repository institute from this state repository, then there are transition, and this a storehouse institute name of transition (Transition) name called after or a storehouse name are called for short another storehouse institute (state) name or storehouse institute name abbreviation.For example, in Fig. 1, the P3O_ffline_ of storehouse institute is normally named and be labeled as T0_Off to the normal transition of the P0_Online_ of storehouse institute, and normally to arrive On normal.
2.2 in that net/from the net module, do in the storehouse: P6_ at net, P7_ from net; Transition are: T14_ networks to arriving from net from net, T15_ at net.
2.3 for disaster tolerance (active/standby) module, do in the storehouse: P8_ is equipped with system, P9_ main system.Transition are: T16 master is to being equipped with system, T17_ fully to main system.
Determine earlier storehouse institute during according to each module modeling, determine transition again by the relation of all storehouses of the judgement of each storehouse and other institute successively, last judge successively the storehouse be connected with the relation of all transition and with directed arc or inhibition arc, strengthened the definition of modeling.
Step 3, each module respectively according to transition and storehouse between dependence or interactively carry out being connected of directed arc, form the pairing Petri submodel of each module respectively, form corresponding running status module, at net/from three Petri submodels of net module and disaster tolerance module.
Concern between step 4, the determination module,, integrate the Petri submodel of each module, each Petri submodel is connected into a Petri block mold, promptly form Petri pessimistic concurrency control shown in Figure 1 with directed arc or inhibition arc according to concerning between three modules.
Switch and can only carry out 4.1 the linking point of running status module and disaster tolerance (active/standby) module is a main preparation system at the Maintenance state, that is: the P5_Maintenance of storehouse institute respectively with transition T16 master to system, T17_ carry out directed arc to main system fully and be connected fully.
4.2 running status module and be only could network at the Online state at net/from the linking point of net module; Before switching to Offline or Maintenance state from Online, must be first from net.In other words, normal, the P4_Offline_ fault of the P3_Offline_ of storehouse institute in the running status module, P5_Maintenance are connected control to networking with the inhibition arc from net with transition T15_ respectively; The P6_ of storehouse institute of net/in the net module net respectively with the running status module in transition T2_On normally normal to Off, the T8_On excess load is normal to Off ", the T10_On fault normally is connected control to Maint with the inhibition arc to Off fault, T5_Online.
Step 5, control, the Petri block mold that step 4 obtains is analyzed and verification automatically based on the Petri middleware platform.Suppress flowing between the different sink institute in the Petri net of arc by token at band and can simulate the dynamic process that the HB system mode is changed, utilize the Petri middleware platform control can be instant fast HB system mode conversion is simulated, problem in the Discovery Status conversion in time plays the directive function to the O﹠M personnel.Band shown in Figure 1 can be suppressed the Petri net of arc and import Petri net simulation tools such as Petri middleware platform or Petri simulation softward, thereby obtain the real-time status of HB system mode conversion.Using method for Petri net simulation tool is well known to those skilled in the art, and does not repeat them here.
5.1 in conjunction with display unit, the real-time status of display system state exchange allows the O﹠M personnel understand the processing progress and the health degree of the conversion of HB system mode immediately, and suitably controls intuitively.
When 5.2 the generation disaster is recovered automatically, the operation that can show completed HB system mode handover operation, current each system mode and also need to carry out.
The present invention can further comprise step 6: application drawing 2 is to abbreviation rule abbreviation Petri block mold of equal value shown in Figure 11.Fig. 2 is to Figure 11 shows that multiple Petri net reduction rule schematic diagram used in the present invention, and the left side is the figure before the abbreviation among the figure, and the right side is the figure behind the abbreviation.To be the band of Fig. 1 Petri net schematic diagram that suppresses arc suppress the Petri net schematic diagram of arc through the simplification band of Fig. 2 to the regular abbreviation shown in Figure 11 to Figure 12.
Carry out abbreviation of equal value at block mold,, be convenient to whether have deadlock in the conversion of subsequent analysis checking HB system mode in order to solve Petri net " state space blast " problem.
6.1 the abbreviation that the present invention uses rule is as follows respectively:
1. the storehouse institute abbreviation of connecting merges shown in the schematic diagram as Fig. 2 storehouse of connecting;
2. storehouse in parallel institute abbreviation merges shown in the schematic diagram as Fig. 3 storehouse in parallel;
3. mix abbreviation I, shown in Fig. 4 mixing abbreviation I schematic diagram;
4. mix abbreviation II, shown in Fig. 5 mixing abbreviation II schematic diagram, M (p1) 〉=1 among the figure of Fig. 5 Central Plains; Former seal is made N
1, the seal behind the abbreviation is made N
2, set of reachable markings is done corresponding conversion:
5. eliminate the self loop transition, eliminate shown in the self loop transition schematic diagram as Fig. 6;
6. eliminate self loop storehouse institute, eliminate shown in the self loop storehouse institute schematic diagram as Fig. 7;
6.2 it is as follows respectively that the band that the present invention uses suppresses the abbreviation rule of arc:
1. the series connection storehouse of band inhibition arc merges, and the series connection storehouse that suppresses arc as Fig. 8 band merges shown in the schematic diagram;
2. band suppresses the transition merging in parallel of arc, and the transition in parallel that suppress arc as Fig. 9 band merge shown in the schematic diagram;
3. band suppresses the mixing abbreviation I of arc, shown in the mixing abbreviation I schematic diagram that Figure 10 band suppresses arc;
4. eliminate the self loop transition that band suppresses, shown in the self-loopa transition schematic diagram that Figure 11 eliminates band inhibition arc.
Wherein, it is abbreviation rules of equal value that the inventor sums up and proves that the series connection storehouse of mixing abbreviation I, mixing abbreviation II, band inhibition arc merges, is with the transition merging in parallel that suppresses arc, the self loop transition of elimination band inhibition and these six abbreviation rules of mixing abbreviation I of band inhibition arc, directly uses in this invention.
The present invention can further comprise step 7: whether the Petri block mold behind determining step six abbreviations is BOUNDED PETRI NETS, if bounded is then set up corresponding reachability graph, can judge the various dynamic characteristics of BOUNDED PETRI NETS by the reachability graph of Petri net.It will be understood by those skilled in the art that if not bounded can be taked the analysis of quasi-perfect finite coverability graph, do not describe at this for reducing length.
The Petri net that the resulting band of definition the present invention suppresses arc is N=(P, T; F, I, M
0).
7.1 band suppresses Petri net N=(P, the T of arc; F, I, M
0) reachability graph's construction algorithm step as follows.
7.1.1 from initial marking M
0Beginning reflects the distribution situation of initial token in net.
7.1.2 current sign note is made M, can have each transition of triggering power under current sign, triggers back gained sign note and makes M ', judgement M ' also handles:
1. if M ' is a new logo when M ' is not equal to any existing sign, judge that more whether M ' increases progressively (perhaps successively decreasing) by the weights of corresponding arc, if the weights by corresponding arc increase progressively (perhaps successively decreasing) then respective component write as " weights * n ", otherwise, connect M and M ' with directed arc;
2. as if certain identity equality among M ' and the existing reachability graph, then connect M ' and existing reachable marking with directed arc.
7.1.3 when any transition all can not produce new logo, algorithm stopped, and obtains reachability graph RG (N).
7.2 analyze characteristics such as activity, fail safe according to the reachability graph.
7.2.1 the band of bounded suppresses Petri net N=(P, the T of arc; F, I, M
0) be that a sufficient and necessary condition of living is: in reachability graph RG (N), from summit M
0A strong connected subgraph is finally all moved towards on every oriented road of setting out, and in each so strong connected subgraph, each t ∈ T is the other mark of a directed arc at least.
7.2.2 the band of bounded suppresses Petri net N=(P, the T of arc; F, I, M
0) be that each vector among safe and if only if the reachability graph RG (N) all is the 0-1 vector.
As shown in figure 13, it is reachability graph's schematic diagram that the band of Figure 12 suppresses the Petri net of arc, sign component among Figure 13 is followed successively by: the token number of the P7_ of storehouse institute in net, the token number of the P6_ of storehouse institute in net, token number during the P0_Online_ of storehouse institute is normal, the token number among the P5_Maintenance of storehouse institute.Suppress reachability graph's algorithm of arc according to the band of step 7 structure, the dead marking among the reachability graph and the sign of living come into plain view.Judge that according to 7.2.1 the simplification net system that band shown in Figure 12 as can be known suppresses the Petri net simulation HB system mode conversion of arc is alives by Figure 13, because of employing be abbreviation rule of equal value, so shown in Figure 1 former net system also is alive.In like manner can judge that according to 7.2.2 shown in Figure 1 former net system is safe again.
The Petri net that the present invention is based on band inhibition arc is simulated the conversion of HB system mode, the Petri net that utilizes band to suppress arc is described the process of HB system mode conversion, characteristic by analyzing resulting Petri net is as active, boundedness and fail safe etc., and then can reflect the characteristic that the HB system mode is changed, be convenient to the O﹠M personnel and handle the conversion of HB system mode.The activity of Petri net can determine whether institute's system for simulating exists deadlock, and can judgement expectation behavior normally be carried out.The boundedness reflection of Petri net simulated in the system the capacity requirement of interrelated data, is used for having judged whether spillover.Fail safe is the special case of boundedness in fact, and this characteristic can have or not process of carrying out or the resource that does not discharge to be called once more in the clear and definite system.For example, activity is arranged, can show that HB system mode transformation energy normally moves, promptly do not have deadlock, can guarantee that HB system mode conversion avoids deadlock by proving Petri net shown in Figure 1.
The invention has the advantages that:
One, utilizing the Petri net is the characteristic of the strong instrument of a kind of graphical description process, use it can describe the process of HB system mode conversion intuitively, and the Petri net that adopts band to suppress arc has strengthened simulation HB system mode transfer capability.
When two, setting up model,, set up model, then each modular model is connected into a block mold, take this method, improved the modeling definition, reduced the modeling difficulty according to each module earlier the system modular of being analyzed.
During three, at each model modeling, at first determine storehouse institute, successively by storehouse institute order, by the relations of dependence between the institute of storehouse, definite again transition, modeling is to avoid the state of causing confusion like this.
Four, utilize abbreviation of equal value, can effectively solve " state space blast " problem of Petri net, simplified greatly and analyzed the characteristic of net, and summed up the abbreviation rule of band inhibition arc, use in this invention.
Five, the Petri net that the present invention is based on band inhibition arc is set up the reachability graph, and by setting up the reachability graph of BOUNDED PETRI NETS, characteristics such as the activity of realization rapid analysis Petri net system, fail safe assist the O﹠M personnel to carry out the conversion of HB system mode.
In sum, the present invention is based on band and suppress the Petri of arc at the modeling of HB system mode, utilize this model except visual description function with similar flow chart, block diagram and net figure, can also by token the storehouse in the dynamic characteristic that flows analogue system.Control based on Petri net middleware platform, real-time status that can display system allows the attendant understand processing progress and health degree immediately, and in addition suitably control.In addition, utilize abbreviation figure to simplify greatly and analyze some characteristic that former Petri nets,, realized characteristics such as rapid analysis activity, boundedness, fail safe by setting up the reachability graph of abbreviation figure.
The above; for the person of ordinary skill of the art; can make other various corresponding changes and distortion according to technical scheme of the present invention and technical conceive, and all these changes and distortion all should belong to the protection range of accompanying Claim of the present invention.
Claims (3)
1. the method based on the Petri net simulation HB system mode conversion of band inhibition arc is characterized in that, comprises the steps:
Step 1, with the HB system mode be divided into the running status module, at net/from net module and three modules of disaster tolerance;
Step 2, suppress the Petri net of arc based on band, different conditions with storehouse each module of representative, represent switching between each inside modules different conditions with transition, with the residing state of distribution situation representation module of token, determine the distribution situation of storehouse institute, transition and the initial token of each module respectively;
Step 3, each module respectively according to transition and storehouse between dependence or interactively carry out being connected of directed arc, form the pairing Petri submodel of each module respectively;
Step 4, according to concerning between three modules, with directed arc or suppress arc described Petri submodel is connected into a Petri block mold;
Step 5, control, the Petri block mold that step 4 obtains is analyzed and verification automatically based on the Petri middleware platform.
2. the method for changing based on the Petri net simulation HB system mode of band inhibition arc as claimed in claim 1 is characterized in that, also comprises:
Step 6, the described Petri block mold of application abbreviation rule abbreviation of equal value.
3. the method for changing based on the Petri net simulation HB system mode of band inhibition arc as claimed in claim 2 is characterized in that, also comprises:
Step 7, judge the Petri block mold bounded whether behind the step 6 abbreviation, if bounded is then set up corresponding reachability graph.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN 201110040388 CN102164040B (en) | 2011-02-17 | 2011-02-17 | Method for simulating state transition of hot billing (HB) system based on Petri network with inhibitor arcs |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN 201110040388 CN102164040B (en) | 2011-02-17 | 2011-02-17 | Method for simulating state transition of hot billing (HB) system based on Petri network with inhibitor arcs |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN102164040A true CN102164040A (en) | 2011-08-24 |
| CN102164040B CN102164040B (en) | 2013-12-25 |
Family
ID=44465029
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN 201110040388 Active CN102164040B (en) | 2011-02-17 | 2011-02-17 | Method for simulating state transition of hot billing (HB) system based on Petri network with inhibitor arcs |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN102164040B (en) |
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN103888462A (en) * | 2014-03-26 | 2014-06-25 | 南京邮电大学 | Controller area network model verification method based on local partial order reduction |
| CN107545156A (en) * | 2017-09-19 | 2018-01-05 | 广东工业大学 | A kind of Software Protection Technique application sequence construction method based on Petri network |
| CN110320798A (en) * | 2019-05-21 | 2019-10-11 | 西安电子科技大学 | A kind of controller architecture simplification and action optimization method based on safety net |
| CN113011052A (en) * | 2021-03-26 | 2021-06-22 | 山东建筑大学 | Mobile communication system simulation method and system based on PRES + network with arc suppression |
Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN101359347A (en) * | 2008-10-07 | 2009-02-04 | 北京交通大学 | Railway emergency plan modelling approach based on stochastic Petri net |
| CN101477588A (en) * | 2009-01-13 | 2009-07-08 | 中国人民解放军国防科学技术大学 | Simulation method for equipment maintenance and guarantee based on Petri network model |
-
2011
- 2011-02-17 CN CN 201110040388 patent/CN102164040B/en active Active
Patent Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN101359347A (en) * | 2008-10-07 | 2009-02-04 | 北京交通大学 | Railway emergency plan modelling approach based on stochastic Petri net |
| CN101477588A (en) * | 2009-01-13 | 2009-07-08 | 中国人民解放军国防科学技术大学 | Simulation method for equipment maintenance and guarantee based on Petri network model |
Non-Patent Citations (1)
| Title |
|---|
| 刘石坚，乐晓波，邹峥: "含抑制弧和测试弧petri网的建模及其行为分析", 《系统仿真学报》 * |
Cited By (8)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN103888462A (en) * | 2014-03-26 | 2014-06-25 | 南京邮电大学 | Controller area network model verification method based on local partial order reduction |
| CN103888462B (en) * | 2014-03-26 | 2016-09-14 | 南京邮电大学 | Controller local area network model verification method based on local partial order stipulations |
| CN107545156A (en) * | 2017-09-19 | 2018-01-05 | 广东工业大学 | A kind of Software Protection Technique application sequence construction method based on Petri network |
| CN107545156B (en) * | 2017-09-19 | 2020-03-10 | 广东工业大学 | Software protection technology application sequence construction method based on Petri network |
| CN110320798A (en) * | 2019-05-21 | 2019-10-11 | 西安电子科技大学 | A kind of controller architecture simplification and action optimization method based on safety net |
| CN110320798B (en) * | 2019-05-21 | 2021-09-24 | 西安电子科技大学 | Controller structure simplification and behavior optimization method based on safety net |
| CN113011052A (en) * | 2021-03-26 | 2021-06-22 | 山东建筑大学 | Mobile communication system simulation method and system based on PRES + network with arc suppression |
| CN113011052B (en) * | 2021-03-26 | 2022-07-05 | 山东建筑大学 | Mobile communication system simulation method and system based on PRES + network with arc suppression |
Also Published As
| Publication number | Publication date |
|---|---|
| CN102164040B (en) | 2013-12-25 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| Hou et al. | Temporal, functional and spatial big data computing framework for large-scale smart grid | |
| Le et al. | Smart grid co-simulation tools: Review and cybersecurity case study | |
| US20150286759A1 (en) | Computer implemented method for hybrid simulation of power distribution network and associated communication network for real time applications | |
| Zhang et al. | Technical and economic impacts of active management on distribution network | |
| Zhang et al. | An interpretative structural modeling based network reconfiguration strategy for power systems | |
| CN112580217A (en) | Communication system structure parameterization modeling method based on complex network | |
| Safdarian et al. | A new formulation for power system reliability assessment with AC constraints | |
| CN105205244B (en) | Loop Closing Operation analogue system based on electromechanics-electromagnetism hybrid simulation technology | |
| Awad et al. | SGsim: A simulation framework for smart grid applications | |
| CN102164040B (en) | Method for simulating state transition of hot billing (HB) system based on Petri network with inhibitor arcs | |
| Peng et al. | Reliability analysis in interdependent smart grid systems | |
| Mo et al. | A system-of-systems framework for the reliability analysis of distributed generation systems accounting for the impact of degraded communication networks | |
| CN104901306A (en) | Power grid operation safety margin calculating method taking cascading faults into consideration | |
| CN106786529B (en) | A kind of distribution static security analysis method | |
| Kou et al. | Reliability evaluation of multi-agent integrated energy systems with fully distributed communication | |
| Sbordone et al. | The future interaction between virtual aggregator-TSO-DSO to increase DG penetration | |
| CN104104081A (en) | Non-iterative uncertain load flow analysis method based on optimization method | |
| Bakirtzis et al. | Decentralised DC load flow and applications to transmission management | |
| Lin et al. | Improving security and economy of interconnected power network through explicit feasible region of tie-line power transfer | |
| CN104504524A (en) | Reliability assessment method and load curtailing method applied to active distribution network | |
| Alsubaie et al. | A platform for disaster response planning with interdependency simulation functionality | |
| CN106603294B (en) | A kind of synthesis vulnerability assessment method based on power communication web frame and state | |
| CN105376304A (en) | Improved distributed multi-agnet system for microgrid multi-target energy management | |
| CN109683036A (en) | A kind of distribution system failure simulation method and system for data center | |
| CN102110151A (en) | Method for analyzing Petri network model of charge-off system |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| C14 | Grant of patent or utility model | ||
| GR01 | Patent grant |