CN104065510A - PetriNet-based system operation and maintenance monitoring method and PetriNet-based system operation and maintenance monitoring system - Google Patents
PetriNet-based system operation and maintenance monitoring method and PetriNet-based system operation and maintenance monitoring system Download PDFInfo
- Publication number
- CN104065510A CN104065510A CN201410302982.XA CN201410302982A CN104065510A CN 104065510 A CN104065510 A CN 104065510A CN 201410302982 A CN201410302982 A CN 201410302982A CN 104065510 A CN104065510 A CN 104065510A
- Authority
- CN
- China
- Prior art keywords
- model
- petrinet
- database
- module
- server
- 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.)
- Pending
Links
Landscapes
- Data Exchanges In Wide-Area Networks (AREA)
- Debugging And Monitoring (AREA)
Abstract
The invention relates to the field of system monitoring, and especially relates to a PetriNet-based system operation and maintenance monitoring method and a PetriNet-based system operation and maintenance monitoring system. The method comprises the following steps: a system needing to be monitored is selected, a model is established layer by layer according to the idea of PetriNet, and properties are configured; the established model is verified, the model is modified step by step until the model is correct if the model does not pass verification, and the established model is stored in a database; the established model is acquired from the database, the model is instantiated on one or more servers, and the instance is started and run on the servers; the servers return the running state and parameters of the instance in real time and store the running state and parameters of the instance in the database; and the running state of the instance on the one or more servers is acquired from the database and displayed in real time, and an alarm prompt is issued when an instance fault is found. The running situation of a plurality of complex systems can be monitored in an automated mode, and a variety of faults of a related host system can be timely found and accurately positioned.
Description
Technical field
The present invention relates to monitoring field, relate in particular to a kind of system O&M method for supervising and system based on PetriNet.
Background technology
In prior art, lack certain methods means in real time automatically to some system O&M monitoring, cannot understand in real time the running status of system, when system breaks down, cannot locate in real time.
At present to every research of PetriNet only in theoretical category, to the application of PetriNet also only in PetriNet modeling analysis aspect, and utilize PetriNet institute established model to safeguard that to System Implementation the application of monitoring does not also occur, therefore, the application of PetriNet is expanded and improved, in the time of compatible former idea about modeling, increase a kind of new maintenance monitoring application, PetriNet after improving is applied for real system, through system until the whole process of running, stronger raising system development more comprehensively, implement, operational efficiency, quality and work load.According to information feedback, graphical interfaces, grasp to judge whether whole system breaks down, location abort situation.
Summary of the invention
Technical problem to be solved by this invention is for the deficiencies in the prior art, and a kind of system O&M method for supervising and system based on PetriNet is provided.
The technical scheme that the present invention solves the problems of the technologies described above is as follows: a kind of system O&M method for supervising based on PetriNet, comprises the steps:
Step 1: the system that selection need to be monitored is successively this system made model according to the thinking of PetriNet net, and configuration attribute;
Step 2: the model of setting up is verified, checking, not by progressively revising, until modification is correct, is saved in the model of foundation in database;
Step 3: obtain the model of having set up in database, by model instantiation on one or more server, and start running example on server;
Step 4: example running status and parameter that server returns in real time, and be saved in database;
Step 5: the running status of example demonstration on the one or more server of Real-time Obtaining from database in real time, when finding Instance failure, send alarm.
The invention has the beneficial effects as follows: the ruuning situation to a large amount of complication systems that the present invention can automation is monitored, and finds timely the various faults of relevant host computer system, and accurate location.
On the basis of technique scheme, the present invention can also do following improvement.
Further, the specific implementation of step 1 is:
Step 1.1: the functional module of monitored system is packaged into Petrinet element;
Step 1.2: configure each Petrinet attribute of an element information and execution sequence.
Further, described model is kept in database with XML document form.
Further, described attribute information comprises that routing rule, token drive and status change.
Further, when such scheme also comprises the execution sequence of each functional module in need to change system, model is modified, form new XML file, and then execution step 2 is to step 5.
The technical scheme that the present invention solves the problems of the technologies described above is as follows: a kind of system O&M supervisory control system based on PetriNet, comprises model building module, modelling verification module, Model instantiation module, example monitoring module and database;
Described model building module, its system for selecting to monitor, is successively this system made model according to the thinking of PetriNet net, and configuration attribute information;
Described modelling verification module, it is for the model of setting up is verified, and checking, not by progressively revising, until modification is correct, is saved in the model of foundation in database;
Described Model instantiation module, it by model instantiation on one or more server, and starts running example for obtain the model of having set up at database on server; Also for example running status and the parameter that server is returned, be saved in database;
Described example monitoring module, its running status for example from the one or more server of database Real-time Obtaining also shows, sends alarm when finding Instance failure;
Described database, it is for storing model and the model attributes information of foundation, also for storing the state information of example.
On the basis of technique scheme, the present invention can also do following improvement.
Further, such scheme also comprises log pattern, and it goes back event in surveillance for the information of register system hardware, software and system problem simultaneously.
Further, described model building module comprises functional module encapsulation unit and attribute configuration unit;
Described functional module encapsulation unit, it is for being packaged into Petrinet element by the functional module of monitored system;
Described attribute configuration unit, it is for configuring each Petrinet attribute of an element information and execution sequence.
Further, described model is kept in database with XML document form.
Further, described attribute information comprises that routing rule, token drive and status change is a kind of.
Accompanying drawing explanation
Fig. 1 is a kind of system O&M method for supervising flow chart based on PetriNet of the present invention;
Fig. 2 is a kind of system O&M supervisory control system block diagram based on PetriNet of the present invention;
Fig. 3 is the internal structure block diagram of model building module of the present invention;
Fig. 4 is wholesale price system model PetriNet instance graph in embodiment of the present invention.
In accompanying drawing, the list of parts of each label representative is as follows:
1, model building module, 2, modelling verification module, 3, Model instantiation module, 4, example monitoring module, 5, database.
Embodiment
Below in conjunction with accompanying drawing, principle of the present invention and feature are described, example, only for explaining the present invention, is not intended to limit scope of the present invention.
As shown in Figure 1, a kind of system O&M method for supervising based on PetriNet, comprises the steps:
Step 1: the system that selection need to be monitored is successively this system made model according to the thinking of PetriNet net, and configuration attribute;
Step 2: the model of setting up is verified, checking, not by progressively revising, until modification is correct, is saved in the model of foundation in database;
Step 3: obtain the model of having set up in database, by model instantiation on one or more server, and start running example on server;
Step 4: example running status and parameter that server returns in real time, and be saved in database;
Step 5: the running status of example demonstration on the one or more server of Real-time Obtaining from database in real time, when finding Instance failure, send alarm.
Wherein, the specific implementation of step 1 is:
Step 1.1: the functional module of monitored system is packaged into Petrinet element;
Step 1.2: configure each Petrinet attribute of an element information and execution sequence.
Described model is kept in database with XML document form.
Described attribute information comprises that routing rule, token drive and status change.
When such scheme also comprises the execution sequence of each functional module in need to change system, model is modified, form new XML file, and then execution step 2 is to step 5.
As shown in Figure 2, a kind of system O&M supervisory control system based on PetriNet, comprises model building module 1, modelling verification module 2, Model instantiation module 3, example monitoring module 4 and database 5;
Described model building module 1, its system for selecting to monitor, is successively this system made model according to the thinking of PetriNet net, and configuration attribute information;
Described modelling verification module 2, it is for the model of setting up is verified, and checking, not by progressively revising, until modification is correct, is saved in the model of foundation in database 5;
Described Model instantiation module 3, it by model instantiation on one or more server, and starts running example for obtain the model of having set up at database 5 on server; Also for example running status and the parameter that server is returned, be saved in database 5;
Described example monitoring module 4, its running status for example from the one or more server of database 5 Real-time Obtaining also shows, sends alarm when finding Instance failure;
Described database 5, it is for storing model and the model attributes information of foundation, also for storing the state information of example.
Such scheme also comprises log pattern 6, and it goes back event in surveillance for the information of register system hardware, software and system problem simultaneously.
As shown in Figure 3, described model building module 1 comprises functional module encapsulation unit 1-1 and attribute configuration unit 1-2;
Described functional module encapsulation unit 1-1, it is for being packaged into Petrinet element by the functional module of monitored system;
Described attribute configuration unit 1-2, it is for configuring each Petrinet attribute of an element information and execution sequence.
Embodiment, the system Wei Mou operator charging bill wholesale price system that in the present embodiment, selected needs are monitored.The regular traffic flow process of this operator's ticket wholesale price system:
[collection ticket] → [ticket preliminary treatment] → [wholesale price] → [wholesale price completes]
Thinking according to PetriNet net is successively this system made model, and the functional module of monitored system is packaged into Petrinet element; Configure each Petrinet attribute of an element information and execution sequence, institute's established model as shown in Figure 4.
The model of setting up is verified, checking is not by progressively revising, until modification is correct, system can be xml file this Petri graphics saving, xml file is converted in the parameter list in system parameters save data storehouse simultaneously.
From database 5, obtain the model of having set up, by model instantiation on one or more server, and on server, start example, and press the attribute running example of example;
The example running status that each server returns and parameter are saved in database 5;
From database 5, alarm is sent in the running status of example demonstration on the one or more server of Real-time Obtaining when finding Instance failure.
According to the instantiation on certain server of this model, and move this example.The state of wholesale price system is written in the correlation behavior table of database, and [collection] transition are in executable state, and [preliminary treatment] [wholesale price] [completing] transition are in wait state.
For [collection] link system, be how operation monitoring:
System judges to data base querying whether [collection] transition can be carried out, upload a correct CDR file to [collection], [collection] module receives correct ticket and processes, after finishing dealing with, the state of change [collection] is complete, and the state of [preliminary treatment] is executable state.Like this [preliminary treatment] just can continue to carry out.The process of carrying out is consistent with [collection].
Upload an error bills to [collection], the judgement of [collection] module is a wrong ticket, and at this moment the record in system update state table changes to malfunction the state of [collection].Supervisory control system is at real-time reading state, and [collection] malfunction is shown on interface, and we just know that [collection] module has produced fault, and the reason that produces fault is that error bills file causes.
The execution of other links and [collection] link are similar.
The foregoing is only preferred embodiment of the present invention, in order to limit the present invention, within the spirit and principles in the present invention not all, any modification of doing, be equal to replacement, improvement etc., within all should being included in protection scope of the present invention.
Claims (10)
1. the system O&M method for supervising based on PetriNet, is characterized in that, comprises the steps:
Step 1: the system that selection need to be monitored is successively this system made model according to the thinking of PetriNet net, and configuration attribute;
Step 2: the model of setting up is verified, checking, not by progressively revising, until modification is correct, is saved in the model of foundation in database;
Step 3: obtain the model of having set up in database, by model instantiation on one or more server, and start running example on server;
Step 4: example running status and parameter that server returns in real time, and be saved in database;
Step 5: the running status of example demonstration on the one or more server of Real-time Obtaining from database in real time, when finding Instance failure, send alarm.
2. a kind of system O&M method for supervising based on PetriNet according to claim 1, is characterized in that, the specific implementation of step 1 is:
Step 1.1: the functional module of monitored system is packaged into Petrinet element;
Step 1.2: configure each Petrinet attribute of an element information and execution sequence.
3. a kind of system O&M method for supervising based on PetriNet according to claim 1, is characterized in that, described model is kept in database with XML document form.
4. a kind of system O&M method for supervising based on PetriNet according to claim 1, is characterized in that, described attribute information comprises that routing rule, token drive and status change.
5. a kind of system O&M method for supervising based on PetriNet according to claim 1, it is characterized in that, while also comprising the execution sequence of each functional module in need to change system, model is modified, form new XML file, and then execution step 2 is to step 5.
6. the system O&M supervisory control system based on PetriNet, is characterized in that, comprises model building module, modelling verification module, Model instantiation module, example monitoring module and database;
Described model building module, its system for selecting to monitor, is successively this system made model according to the thinking of PetriNet net, and configuration attribute information;
Described modelling verification module, it is for the model of setting up is verified, and checking, not by progressively revising, until modification is correct, is saved in the model of foundation in database;
Described Model instantiation module, it by model instantiation on one or more server, and starts running example for obtain the model of having set up at database on server; Also for example running status and the parameter that server is returned, be saved in database;
Described example monitoring module, its running status for example from the one or more server of database Real-time Obtaining also shows, sends alarm when finding Instance failure;
Described database, it is for storing model and the model attributes information of foundation, also for storing the state information of example.
7. a kind of system O&M supervisory control system based on PetriNet according to claim 6, is characterized in that, also comprises log pattern, and it is for the information of register system hardware, software and system problem, simultaneously also event in surveillance.
8. a kind of system O&M supervisory control system based on PetriNet according to claim 6, is characterized in that, described model building module comprises functional module encapsulation unit and attribute configuration unit;
Described functional module encapsulation unit, it is for being packaged into Petrinet element by the functional module of monitored system;
Described attribute configuration unit, it is for configuring each Petrinet attribute of an element information and execution sequence.
9. a kind of system O&M supervisory control system based on PetriNet according to claim 6, is characterized in that, described model is kept in database with XML document form.
10. a kind of system O&M supervisory control system based on PetriNet according to claim 6, is characterized in that, described attribute information comprises that routing rule, token drive and status change.
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201410302982.XA CN104065510A (en) | 2014-06-27 | 2014-06-27 | PetriNet-based system operation and maintenance monitoring method and PetriNet-based system operation and maintenance monitoring system |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201410302982.XA CN104065510A (en) | 2014-06-27 | 2014-06-27 | PetriNet-based system operation and maintenance monitoring method and PetriNet-based system operation and maintenance monitoring system |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| CN104065510A true CN104065510A (en) | 2014-09-24 |
Family
ID=51553052
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201410302982.XA Pending CN104065510A (en) | 2014-06-27 | 2014-06-27 | PetriNet-based system operation and maintenance monitoring method and PetriNet-based system operation and maintenance monitoring system |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN104065510A (en) |
Cited By (4)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN105468845A (en) * | 2015-11-24 | 2016-04-06 | 浪潮(北京)电子信息产业有限公司 | XML (Extensive Markup Language)-based Petri net operation method and system |
| CN110187663A (en) * | 2019-06-19 | 2019-08-30 | 浙江中控技术股份有限公司 | Monitoring method and device |
| WO2020015092A1 (en) * | 2018-07-18 | 2020-01-23 | 平安科技（深圳）有限公司 | Instance monitoring method and apparatus, terminal device and medium |
| CN112988118A (en) * | 2021-02-07 | 2021-06-18 | 江南大学 | Control engine architecture supporting experimental process and construction method thereof |
Citations (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN101567814A (en) * | 2009-05-22 | 2009-10-28 | 清华大学 | Automatic network management method based on SNMP and stochastic Petri net |
| CN102281151A (en) * | 2010-06-08 | 2011-12-14 | 中国电信股份有限公司 | Method and device for controlling state transition of charge system |
| CN102592011A (en) * | 2011-12-30 | 2012-07-18 | 清华大学 | Layering aviation operation system HM/FM (health monitoring/fault management) modeling and evaluating method based on stochastic Petri net |
| CN102928738A (en) * | 2012-10-31 | 2013-02-13 | 辽宁省电力有限公司沈阳供电公司 | Dynamic layer diagnostic device and method of smart power grid fault |
| CN103487723A (en) * | 2013-08-30 | 2014-01-01 | 中国南方电网有限责任公司 | Electric system fault diagnosis method and system |
-
2014
- 2014-06-27 CN CN201410302982.XA patent/CN104065510A/en active Pending
Patent Citations (5)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN101567814A (en) * | 2009-05-22 | 2009-10-28 | 清华大学 | Automatic network management method based on SNMP and stochastic Petri net |
| CN102281151A (en) * | 2010-06-08 | 2011-12-14 | 中国电信股份有限公司 | Method and device for controlling state transition of charge system |
| CN102592011A (en) * | 2011-12-30 | 2012-07-18 | 清华大学 | Layering aviation operation system HM/FM (health monitoring/fault management) modeling and evaluating method based on stochastic Petri net |
| CN102928738A (en) * | 2012-10-31 | 2013-02-13 | 辽宁省电力有限公司沈阳供电公司 | Dynamic layer diagnostic device and method of smart power grid fault |
| CN103487723A (en) * | 2013-08-30 | 2014-01-01 | 中国南方电网有限责任公司 | Electric system fault diagnosis method and system |
Cited By (6)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN105468845A (en) * | 2015-11-24 | 2016-04-06 | 浪潮(北京)电子信息产业有限公司 | XML (Extensive Markup Language)-based Petri net operation method and system |
| CN105468845B (en) * | 2015-11-24 | 2018-12-07 | 浪潮(北京)电子信息产业有限公司 | A kind of Petri network operation method and system based on XML |
| WO2020015092A1 (en) * | 2018-07-18 | 2020-01-23 | 平安科技（深圳）有限公司 | Instance monitoring method and apparatus, terminal device and medium |
| CN110187663A (en) * | 2019-06-19 | 2019-08-30 | 浙江中控技术股份有限公司 | Monitoring method and device |
| CN112988118A (en) * | 2021-02-07 | 2021-06-18 | 江南大学 | Control engine architecture supporting experimental process and construction method thereof |
| CN112988118B (en) * | 2021-02-07 | 2022-12-27 | 江南大学 | Control engine architecture supporting experimental process and construction method thereof |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN111209131B (en) | Method and system for determining faults of heterogeneous system based on machine learning | |
| CN107085415A (en) | Regular composer in process control network | |
| CN110262279A (en) | Control system and control method | |
| US10521550B2 (en) | Planning and engineering method, software tool and simulation tool for an automation solution | |
| CN103197623B (en) | A kind of streamline method for managing and monitoring and device | |
| CN103677973A (en) | Distributed multi-task scheduling management system | |
| CN104123219A (en) | Method and device for testing software | |
| CN106325883A (en) | Development method and system for industry business area information system | |
| CN109204389A (en) | A kind of subway equipment fault diagnosis and self-healing method, system | |
| CN104065510A (en) | PetriNet-based system operation and maintenance monitoring method and PetriNet-based system operation and maintenance monitoring system | |
| CN103197640A (en) | Intelligent management and control system and method of manufacturing technique | |
| JP2016539425A (en) | Computer-implemented method and system for automatically monitoring and determining the status of all process segments in a process unit | |
| CN104268056A (en) | Complex event processing based real-time monitoring system and method for CPS (Cyber-Physical Systems) applications | |
| CN103902757A (en) | System and method for rapid creation and interaction of three-dimensional model | |
| CN110570109A (en) | Data center full life cycle integrated service test process supervision system | |
| KR101985871B1 (en) | Method for diagnosing process abnormality based on internet of things by using parallel processing and Apparatus thereof | |
| CN104977906A (en) | Controlling A Manufacturing Plant With A Mes System | |
| CN115494801B (en) | Plate production line building method and terminal | |
| CN106295808A (en) | Aircraft embedded real-time diagnosis reasoning algorithm test method | |
| CN109150596A (en) | A kind of SCADA system real time data dump method and device | |
| CN109116818A (en) | Real time data dump method and device when a kind of SCADA system upgrades | |
| Cichos et al. | Integration of a physical model into the realization of engineering changes in manufacturing systems | |
| CN114723080A (en) | Equipment maintenance management method, system, device and storage medium | |
| CN107885607A (en) | One kind is based on built-in system software multi views hazard model and its modeling method | |
| CN110555218A (en) | Production model update system, apparatus, method, and computer-readable medium |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| C10 | Entry into substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| RJ01 | Rejection of invention patent application after publication | ||
| RJ01 | Rejection of invention patent application after publication |
Application publication date: 20140924 |