37 results about "Colored petri" patented technology

The invention discloses a train conflict predicting and solving method based on a time colored Petri network. Through the method, first, the real-time state data, the train number, the path and the arrival and departure time of a train running in a railway system at the moment are acquired; according to a railway road network, a time colored Petri network model of the railway road network is established. Then, on the basis of the established time colored Petri network model, the future state of a train group is deduced, and whether potential conflict happens or not is detected; after conflict is detected, the optimal or quasi-optimal solution for solving the running conflict of trains is searched for through a heuristic search algorithm based on a Petri network reachability tree, and a train running scheme is adjusted according to a train conflict solving result. On the basis, whether a new training running scheme is feasible or not is verified through the time colored Petri network model so that it can be guaranteed that there is no conflict in the actually-executed running scheme.

The invention relates to an FMS production simulation allocation method based on a colored Petri net. The method is characterized by comprising the following steps that firstly, a production dispatching system model is built, and a customized processing strategy chart is obtained; secondly, a Petri net system model is built, a strategy chart and the Petri net system model are comprehensively processed, and an integrated Petri net model is obtained; secondly, production dispatching system verification is carried out, stimulation is carried out on a CPN model, and then deadlock screening is carried out. In this way, various logical relations in a system control model in an existing production link can be reflected in the whole processing process clearly, and therefore the system can accomplish assigned processing tasks in order. Meanwhile, the system model can be stimulated under the CPNTools environment, and FMS running situations under different layouts, different workpiece numbers and different static scheduling results are achieved. More importantly, an application system achieved by the adoption of the FMS production simulation allocation method has the good analysis and design adaptability.

The invention belongs to the technical field of network information security, and in particular relates to a password misuse vulnerability detection method and system based on a Petri net. The methodcomprises the following contents: generating a key security vulnerability detection model based on a known key security vulnerability, and establishing a detection rule library for storing vulnerability detection rules; extracting API running information in an encrypted application program; performing taint analysis on a password API sequence to generate a colored Petri net description file; and performing password misuse vulnerability detection by combining the vulnerability detection rules with the colored Petri net description file. According to the password misuse vulnerability detection method and system provided by the invention, on the basis of analysis of a password API function calling method, automatic tracking, monitoring and recording of the runtime information of an API related function can be achieved by means of a dynamic binary pile insertion method, a parameter incidence relation between different password functions is identified based on binary analysis, the detectionefficiency is greatly improved, the pertinence is high, the identification rate is high, and it is of important guiding significance for the network information security technology.

The invention discloses a Web composite service test method of an extension-based hierarchical colored Petri net. The method comprises the following steps of: (1) converting an OWL-S (Ontology Web Language-Service) document into an extended hierarchical colored Petri net to model abundant semantic information therein; and (2) utilizing a prematrix and a postmatrix of the extended hierarchical colored Petri net to analyze data flow information therein: firstly, acquiring definition use pairs of all variables, then, finding all output and input definition use chains of all the variables by using a complete definition-use path cover rule as a test rule, then, extending the output and input definition use chains into an executable test sequence, and finally, combining the test sequence and the test data to generate a test use case. The invention proposes a whole set of automatic test method which comprises the generation and the execution of the test use case by analyzing the interactive information of the variables among services from the start of a composite service stipulation OWL-S so that the interactive activities among the services in the composite service can be effectively tested.

The invention discloses an HCPN (Hierarchical Colored Petri Net)-based modeling method of an iron making system logistic energy consumption model. A petri net model of a huge complex iron making system is established by a method of detaching and combining the system through the HCPN. By the modeling method, the conventional modeling method of directly using the Petri net is optimized, the problem that the Petri net obtained by modeling and analyzing the complex system through the conventional Petri net is frequently unavailable is solved, and simultaneously, a better construction of the system model is provided, so that the analysis work can be executed in different construction stages, and the result of the analysis is guaranteed to be effective to the overall model. According to the method provided by the invention, based on the modeling and the simulation in the iron making process through the Petri net, the CPN (Colored Petri Net) model can be directly used in actual production dispatching control.

The invention discloses a system comprehensive assessment method based on a colored Petri network and aims to solve the mismatch of four characteristics during four-characteristic assessment of a complex system. The method includes: defining a new comprehensive assessment system, and building the four-characteristic integrated assessment model of the system; using the strong description capability of the colored Petri network to divide the four characteristics of the complex system into availability (reliability and maintainability), testability and safety, dyeing the token, representing the availability, in the Petri network into yellow, dyeing the token, representing the safety, in the Petri network into blue, and dyeing the token, representing the testability, in the Petri network into purple; completing the comprehensive assessment of the complex system by using the built four-characteristic integrated assessment model and the four-characteristic colored Petri network. The method is a circulation process of design and assessment. By the method, the current mismatch problem of the four characteristics is solved effectively.

The invention brings forward a collaborative navigation optimization method for fixed type assembling processes. Internet-of-Things technologies are applied to all assembling resources on a base layer, an Internet-of-Things sensing network is built in an assembling workshop, all assembling units and assembling workers are interconnected via a local area network, and real time sharing of manufacture resource information can be realized. Modeling of assembling processes is conducted via hierarchy colored Petri net technologies, the assembling processes are subjected to dynamic priority ranking based on combination of an analytic hierarchy process and a grey correlation matrix, and an optimal matching solution for high priority processes and the assembling workers can be calculated. The collaborative navigation optimization method is based on Internet-of-Things manufacture technologies, optimization is conducted from an angle of the assembling workers, and a strategy for collaborative optimization among the workers can be sought. A defect that real time information is hard to share among all assembling units and a dynamic optimization dispatching solution is hard to carry out via useof a conventional fixed type assembling optimization method can be prevented. Via real time optimal matching, influence exerted on a whole assembling system by local exceptions in assembling processescan be reduced fundamentally.

The invention discloses a microprocessor micro system structure parameter optimization method based on a Petri network. The method comprises the following steps that a template of a flow line model is built on the basis of the colored Petri network, an instruction sequence of a target application program is obtained, relevant information between the instructions and the function unit types is obtained, a colored Petri network model, running under the current parameter configuration, of the target program is generated, a Petri network simulation tool is used for simulation, a simulation report is generated, the colored Petri network model is used for generating a corresponding directed acyclic graph according to the simulation report, a key path of the directed acyclic graph and nodes passed by the key path are calculated, the release time of each entering edge of each node is calculated, the performance bottle neck or power consumption bottle neck for running the target application program by the microprocessor in the current micro system structure parameter configuration is analyzed, and if the optimization is required, the micro system structure parameters are regulated. The microprocessor micro system structure parameter optimization method has the advantages that the prediction reliability and the precision are high, the searching design space relating range is wide, the optimization algorithm complexity is lower, and the optimization is fast and efficient.

The invention discloses a method and system for optimizing the manufacturing network service quality. The method comprises the steps of building a network logistics model according to a manufacturingnetwork service quality demand, and carrying out the analysis on the built network logistics model through employing a colored Petri network; analyzing an edge gateway information flow model corresponding to a manufacturing network information scheduling bottleneck node by utilizing a queuing theory based on the established network logistics model; carrying out the unified scheduling analysis on the manufacturing network logistics model and the edge gateway information flow model by utilizing a preset algorithm, obtaining an approximately optimal solution of the manufacturing network service quality, and optimizing the manufacturing network service quality, so that the problem of network evaluation optimization influencing the real-time demand of the manufacturing network is solved, the flexibility of the dynamic timely adjustment of the system is improved, and meanwhile, the optimization performance and optimization efficiency of the system are also improved.

The invention discloses a modeling method for a service reliability of an IT (Information Technology) architecture of a cloud data center based on a hierarchical colored generalized stochastic Petri net. For limitations present in research of the service reliability of the corresponding IT architecture, a system model of the hierarchical colored generalized stochastic Petri net (HCGSPN) is established by fusing a colored Petri net and a generalized stochastic Petri net by use of a hierarchical modeling method, not only is a processing course of the IT architecture for a service request depicted, but also a time variation characteristic of the external service request and a real-time resource usage condition and a node working state of the IT architecture are embodied. Therefore, the evaluation for the service reliability can be implemented and the resource configuration strategy for the service reliability can be further improved, and a reference is provided for designing and operationand maintenance of the IT architecture of the cloud data center.

The invention provides a virtual enterprise BPM modeling method based on stochastically colored Petri nets, comprising the following steps: extending the common Petri nets and defining a stochastically colored Petri nets; aiming at information islands and process solidification in traditional enterprise information systems In order to solve these problems, the business process management system, a new type of information management technology, is applied to the virtual enterprise, and a virtual enterprise process model based on the BPM system is established. The present invention proposes an analysis method of stochastically colored Petri nets, uses this method to model and analyze the process model, and obtains the system performance analysis data of the model. method is provided.

The invention discloses a hot standby control logic safety analysis method for a safety computer platform. The method comprises the steps of establishing a CPN (Colored Petri Nets)-based normal behavior model; establishing a CPN-based fault behavior model; establishing a CPN-based comprehensive behavior model; and carrying out dangerous fault combination detection on a CPN-based CBM (Comprehensive Behavior Model) model. According to the method, the practical problems of low efficiency and easy error of manual analysis are overcome.

The invention discloses a colored Petri net (CPN)-based formal description and verification method for a mission thread of a capability. The method comprises the steps of describing a logic relationship and an activity rule in the mission thread; introducing a synchronizer to formalize the logic relationship, and establishing a looped synchronization net; building a mission thread logic model based on the looped synchronization net; establishing a conversion relationship between the activity rule and a CPN, thereby building a mission thread semantic model based on the mission thread logic model; proposing two verification criterions based on the fluency and consistency of the mission thread semantic model; and adding time dynamics to the mission thread semantic model to perform expansion to obtain a hybrid mission thread model, performing simulation analysis and obtaining an attribute value. According to the method, the mission thread semantic model for formal description of the mission thread of the capability is proposed, so that the deficiencies of other thread modeling languages in mission thread formal modeling and analysis verification are overcome; and complex simulation analysis and acquisition of the attribute value of the mission thread are supported, and system assessment can be supported.

The invention belongs to the field of software technology, and discloses an SaaS (Service as a Software)-multi-tenant-oriented multi-layer model and a construction method thereof. SaaS software is divided into seven different layers in a top-down manner according to an SaaS software maturity degree model and different granularity, and multi-tenant, saleable and configurable characteristics of theSaaS software are reflected. Color sets of colored Petri nets (CPN) can represent different tenant requests, object-oriented Petri reflects encapsulation of services, and is invisible to outsides, andinternal details influence system running. Ideas of the colored Petri nets and object-oriented Petri nets (OOPN) are respectively used for reference to extend the Petri nets, and a CSOP(Colored Service-Oriented Petri Nets) and SOP (Service-Oriented Petri Nets) system is provided. The model provides a formalized tool for modeling of the SaaS software. The formalized model provided by the inventioncan be run in a tool of the colored Petri nets, and thus can simulate running of the SaaS software, and analyze hidden troubles existing in system running.

The invention belongs to the field of aviation product fault analysis and provides a product fault triggering and propagating method. The method includes the steps of firstly, performing product fault mode analysis, and building various input and output relations causing product faults; classifying fault modes according to the influence of the product faults on a system; secondly, using the place of a Petri network to represent a part, using tokens in the place to represent product fault modes, coloring the tokens with different colors according to the influence differences of the fault modes, and giving different attributes to transition to express token-fault cause-effect propagation relations so as to establish the colored Petri network model of the product faults; thirdly, using a Montel-Carl random sampling method to generate a [0, 1] interval random number, sorting the occurrence frequency ratio of different fault modes of the aviation products in the [0, 1] interval, and triggering the product fault mode during system fault model building according to the fault mode of the interval corresponding to the random number.

The invention discloses a software thread conflict detection method based on CPNtools (Colored Petri Nets tools). The basic construction member of the CPNtools consists of a plurality of changes, places, tokens and directed arcs, and conflict types are divided into semaphore, a conditional variable, a read-write lock and a fence. The method is characterized in that thread categories to be detectedare simultaneously or independently subjected to conflict detection on the basis of the conflict types. The method is carried out according to the following two steps that: S1: establishing the CPNtools model of a thread to be detected; and S2: carrying out conflict detection on the CPNtools model which expects to be detected. By use of the method, conflicts caused by the semaphore, the conditional variable, the read-write lock and the fence can be detected, and a new method is provided for the software thread conflict.

The invention discloses a method and a system for analyzing the link utilization ratio of a satellite communication network. The method includes the steps of determining a satellite communication network model that needs to undergo link utilization ratio analysis, establishing a stochastic colored Petri net model corresponding to the satellite communication network, defining types of token in thestochastic colored Petri net model to indicate flow directions of data, limiting flow directions of the different types of token during transition, obtaining parameters involved in the satellite communication network, and calculating the link utilization ratio of the satellite communication network on the basis of the established stochastic colored Petri net model.

The invention relates to a DOS attack and defense simulation method based on a random Petri network. The method comprises the following steps of 1, constructing a system defense model of a colored Petri network under DOS attack by using the colored Petri network; 2, constructing a system defense model under the DOS attack, wherein the model comprises the following modules of an attack simulation module, an attack detection module, a resource restoration module and a strategy implementation module; 3, calculating the average availability of the system. According to the invention, the system defense modeling under DOS attack is carried out by using the colored Petri network, and the modules are divided into the attack simulation module, the attack detection module, the resource restoration module and the strategy implementation module, so that the complete defense process of the system under the DOS attack is well achieved, the defense details of the system under the DOS attack are displayed, and the established model can objectively reflect the availability of the system under the known parameters.

The invention provides a power grid cascading fault modeling simulation method based on a coloring random Petri network, which comprises the following steps of 1, determining the corresponding actionsof the related relay protection devices when each element has a fault according to a power grid system wiring diagram; 2, according to the property of the colored Petri network, classifying the relayprotection devices of all levels of the elements, and establishing a local CPN model for removing faults; 3, integrating the local CPN models of the element removal faults into a CPN model of a faultremoval route of the whole system; and 4, considering that the relay protection device may have a fault, and establishing an SCPN model of the whole system by using the random Petri network.