376 results about "Petri net" patented technology

Method for processing data, in which a Petri net is encoded, written into a memory and read and excuted by at least one instance, wherein transitions of the Petri net read from at least one tape and / or write on at least one tape symbols or symbol strings, with the aid of at least one head. [FIG. 1]. In an alternative, data-processing, co-operating nets are composed, the composition result is encoded, written into a memory and read and executed from the memory by at least one instance. In doing this, components can have cryptological functions. The data-processing nets can receive and process second data from a cryptological function which is executed in a protected manner. The invention enables processing of data which prevents semantic analysis of laid-open, possibly few processing steps and which can produce a linkage of the processing steps with a hardware which is difficult to isolate.

Various embodiments of the present invention provide systems and methods for enabling design, generation, and execution of real-time workflows. Such embodiments provide a graphical designer including a plurality of shapes representing the various objects of a workflow that are used to model the workflow. In addition, various embodiments of the graphical designer provide shapes to model aspects of the workflow not found in previous graphical designers. Various embodiments also provide a code generator that converts the representation of the workflow into executable code for multiple target languages. Various embodiments also provide a workflow engine based on a Petri net model responsible for executing the workflow and for delegating tasks to be performed for the workflow to an operating system. In various embodiments, the workflow engine further includes a platform abstraction layer that provides a transition layer from the Petri net language to the operating system language.

The invention provides an optimized scheduling method of a semiconductor production line based on a Petri net and immune algorithm. The method utilizes the Petri net for carrying out modeling to the semiconductor production line, comprising a path scheduling model, an equipment group scheduling model and an equipment scheduling model; and the immune algorithm is embedded in the Petri net model as the scheduling strategy. By the Petri net model, all possible acts of the semiconductor manufacturing system can be described, such as work-piece processing, equipment failure, batch processing, defected wafer rework and the like. The chromosome of the immune algorithm can be directly structured out of search nodes of the Petri net model, and each gene of each chromosome records the scheduling strategy of each equipment group. A better chromosome is obtained by the simulation of the Petri net model, and therefore a sub-optimal scheduling strategy is generated. The optimized scheduling method has the advantages of reducing the complexity of the model and improving the reusability of the model and the scheduling algorithm.

The invention discloses an intelligent substation fault diagnosis method combining topology and relay protection logic. The intelligent substation fault diagnosis method combining the topology and the relay protection logic comprises the following steps of: analyzing network topology modeling processes of a primary system and a secondary system of an intelligent substation; equivalently replacing all groups with a node quantity of 3 by a group node; simplifying an undirected graph; providing a logical inference method in fit with a Petri net principle according to an extension coefficient, a transition function and a transition function; searching logical relation of the primary system and the secondary system by using the entire intelligent substation system as a whole body; and carrying out a fault diagnosis reasoning process through the logical relation of the primary system and the secondary system. The intelligent substation fault diagnosis method is applied to the fault diagnosis reasoning of an intelligent substation, has the advantages of simple, efficient and rapid network topology constructing and searching process, practical fault diagnosis process and accurate result, and can be used for laying a good foundation for operations, such as fault diagnosis and the like, of the intelligent substation.

The invention discloses a power system fault diagnosis method comprehensively using electricity amount and timing sequence information. Firstly, power-off areas before and after a fault are compared and analyzed to determine the fault area, and a suspicious element set is formed; secondly, a weighting fuzzy timing sequence Petri net model is built, and SCADA information, electricity amount information of a WAMS and the timing sequence characteristics included in the information are integrated to form the alarm information criterion, place delay restraints and the electricity amount criterion; a Gaussian function is adopted, the confidence coefficient of alarm information is obtained in combination with timing sequence reasoning, the initial confidence coefficient of the Petri net model is calculated through array calculation, and the model is solved; finally, backward reasoning is carried out according to the fault probability of an element, and protection and judgment of maloperation and motion refusal of a disconnector are carried out. The power system fault diagnosis method is high in fault-tolerant capability, can handle the phenomena of protection and maloperation / motion refusal of the disconnector and the phenomenon that an alarm is lost or wrong, and improves the accuracy and reliability of the fault diagnosis result.

Synthesizing a message sequence chart (MSC) from a communicating finite-state machine (CFSM), by transforming the CFSM to a Petri net model, generating a labeled finite digraph with each path representing a linearization of an occurrence net segment of the Petri net, decomposing the diagraph into segments, and mapping where each segment to a compositional MSC.

Various embodiments of the present invention provide systems and methods for enabling design, generation, and execution of real-time workflows. Such embodiments provide a graphical designer including a plurality of shapes representing the various objects of a workflow that are used to model the workflow. In addition, various embodiments of the graphical designer provide shapes to model aspects of the workflow not found in previous graphical designers. Various embodiments also provide a code generator that converts the representation of the workflow into executable code for multiple target languages. Various embodiments also provide a workflow engine based on a Petri net model responsible for executing the workflow and for delegating tasks to be performed for the workflow to an operating system. In various embodiments, the workflow engine further includes a platform abstraction layer that provides a transition layer from the Petri net language to the operating system language.

The invention discloses a process model repair method based on Petri net basic structures. The repair method comprises the steps that processing is conducted on original data to make the original data be an event log which is in compliance with specifications; then an inductive mining algorithm is conducted on the processed data to mine a corresponding process model; calibration is conducted on an extended event log and the process model obtained through mining, and it is discovered that a deviation exists in the process model; finally, repair schemes of the process model under different structures are proposed, and the repair schemes aim at repairing the process model and enhance the consistency of the process model. In a case structure, special repair is conducted on the situation that a log action is adjacent to a model action, a repair algorithm is provided, the degree of fitting and the degree of accuracy are guaranteed, and meanwhile the simplification degree of the process model is increased.

A software testing system uses a graph traversal algorithm to explore a model simulating a software product in order to identify errors in the software product. The model employs a Petri's net construct for maintaining state and governing transitions. In particular, the model mediates between a test driver and the software product. The model-based approach is usable both to validate the design of the software and verify the implementation of that design. Using the Petri net model, the test space is bounded.

The document controlled workflow techniques are provided that can be represented by refinable Petri nets. A document may contain a control code that indicates to the document controlled workflow system to implement specified operations (i.e., functions) at a refinable place. The operations implemented at the refinable place are determined by the control code in the document. An author of the document can customize a document controlled workflow system of the present invention by entering a control code into a document that triggers the implementation of operations customized to that particular document at a refinable place in the document workflow system. The operations specified by a control code in a document can be represented by a refinement network.

The invention discloses a software test case automatic generating method, belonging to the technical field of software test automation. The method comprises the following steps: 1, in the first phase, establishing a component Petri network model on the basis of a tested object, wherein three objects, namely a structured language program, requirement or scene based description and a object oriented program are taken in the first phase); 2, in the second phase, collecting and storing fore-set and post-set of places and changes in a Petri net (PN) model and related information of initialized condition and other model structures by utilizing an appropriate data structure; 3, in the third phase, analyzing and verifying the model (deadlock, activity, boundedness, accessibility and the like) by adopting a proper algorithm according to the information collected in the second phase; 4, in the fourth phase, generating a test case; 5, in the fifth phase, analyzing the test case according to different coverage rate indexes; and 6, in the sixth phase, comprehensively analyzing according to the original requirement and quality requirement of a user so as to re-generate a test case set in accordance with the requirements.

The invention provides a method for converting a PLC program into a common Petri net. The method is characterized by: aiming at a PLC ladder diagram program, simulating a ladder diagram contact and a coil as a node; simulating a lead as a directed edge; establishing a PLC directed graphical model of the ladder diagram program; defining a path in a directed graph; according to a path relation, converting the PLC directed graph into the Petri net. In the invention, automatic conversion from the PLC ladder diagram program to a common Petri net model can be realized. Because an excitation condition of the common Petri net is concise, a logic thinking mode is simple, visual and understandable and the obtained Petri net model can complete simulate a dynamic behavior of a PLC control system, PLC program analysis and error correction can be conveniently achieved and PLC program logic is more precise.

The invention discloses a bi-directional A*search-based manufacturing enterprise shop scheduling optimization method. The method includes the following steps that: a Petri net model of a system is built according to the processing procedures of the system; the Petri net model is transformed into an input file of the algorithm; related variables such as a identification vector and an incidence matrix are built so as to be used for Petri net evolution and heuristic function construction; the heuristic function of an A*algorithm is constructed; the initial status identifier and terminal status identifier of the system are adopted as the initial statuses of a forward A* algorithm and a reverse A* algorithm, A*search is executed for a terminal status and an initial status; and whether the minimum cost value node of the search algorithm of any direction reaches a final status is judged, or whether the minimum cost value node of the search algorithm at any direction is a node in the OPEN table of the A* search of an opposite direction is judged, if the minimum cost value node of the search algorithm of any direction reaches the final status, or is a node in the OPEN table of the A* search of the opposite direction, an optimal path is constructed from the node to the initial node and terminal node of the system in a backtracked manner, and a scheduling scheme of the system is outputted. With the method of the invention adopted, a small number of nodes are required to be searched, and an optimal scheduling scheme can be found faster.

The invention discloses a teleoperation task planning and a simulation method for a mechanical arm / dexterous hand system, belonging to the teleoperation technical category in the aerospace field. The invention provides the teleoperation task planning and simulation method for a robot, in combination with the advantages of work study theories and the Petri net technology, for solving the problems of difficult task planning of the complex teleoperation, difficultly guaranteed task implementation quality and efficiency, incapability of operation of nonprofessionals, and the like. The method consists of the five parts of a method for analyzing work, actions and release loads, a method for dividing tasks into three stages, a task six-tuple structural description method, a double-layer planning method of teleoperation task simulation and a task layer simulation planning optimization method. The invention provides the effective way and method for solving the problem of safe and precise control of the complex teleoperation to a certain degree.

The invention discloses a method for diagnosing a power system fault considering multi-source data. Firstly, a fault area is determined quickly according to the state of a faulted breaker and static power grid topological data so that the optimization variables can be reduced and the diagnosing speed can be improved; secondly, an existing Petri net model is further developed, an electrical quantity basis is introduced into the model, the electrical quantity information is fully taken into consideration in the expression of the protection and breaker expectation state, and the method for diagnosing the power system fault considering the multi-source data is thus developed. The method has high fault-tolerant capability, and the maloperation / moving-refusing situation and the alarm losing or mistake situations of the protection / breaker can be processed.

The invention discloses a method for modeling a complex system on the basis of the time Petri net and Agent. The method comprises the following modeling steps of: step 1, modeling the complex system by using the Agent and designing the complex system into a multi-agent system (MAS) according to the characteristics of the complex system, wherein the MAS is divided into an interface Agent, a task Agent, a management Agent and an information Agent; step 2, determining the numbers of the interface Agent, the task Agent and the management Agent according to the specific condition of the complex system; step 3, analyzing the functions of the Agents, and establishing the function diagram of the Agents; and step 4, achieving the internal modeling of the task Agent on the basis of the time Petri net. Compared with the ordinary Petri net, the invention can avoid the space explosion of the system model, achieve the dynamic characteristic and flexibility of the system, facilitate the expansion and reconstruction of the system and avoid the deadlock and collision in the system.

The invention discloses a fault diagnosis method for a power grid based on an improved Bayesian Petri net, and the method comprises the steps: firstly introducing a time sequence correlation rule, andstarting from the quantification angle to describe the time sequence relation between all places and a logic rule; secondly carrying out the reasoning of the time sequence constraint correlation of alarm information through a protection action rule under the condition that fault information is not complete, and giving an algorithm for recognizing the loss of alarm information, a breaking point and false alarm; finally achieving the positioning of a fault element quickly and accurately through combining with a Bayesian network. According to the invention, the method makes the most of the information in an alarm signal, and a fault diagnosis model which is based on the improved Bayesian Petri net and gives consideration to the time sequence correlation rule is proposed on the basis of the deep analysis of the time sequence attribute in the alarm information. The method reduces the uncertainty of an alarm result, is strong in resistance to interference, and can greatly improve the accuracy of a diagnosis result.

Method and apparatus including processes, mechanisms, and devices for use with a networked mission system. The method includes receiving a mission representation including a plurality of actions in a mission and temporal and functional associations between the actions, wherein the actions are to be executed using a plurality of computing nodes. A Time Petri Net (TPN) model of the mission is generated based on the mission representation. The TPN model represents the actions in the mission, temporal constraints for the actions, and functional associations between the actions. An importance value and an urgency value associated with each action are determined based on the TPN model. One or more QoS policies are generated based on the importance values and the urgency values of the actions, wherein the QoS policies are applied to the computing nodes.

The invention discloses a workshop manufacturing system multi-target scheduling method based on a time-assigned Petri network. The workshop manufacturing system multi-target scheduling method comprises the following steps that conducting modeling on a multi-target workshop manufacturing system through the Petri network; reading an attribute value corresponding to each library in the Petri networkmodel, and solving an association matrix between the library in the Petri network model and the transition; and based on the incidence matrix and the A * search algorithm, expanding the sub-nodes fromthe initial node until all the target nodes are found, thereby finishing the multi-target scheduling of the system. According to the invention, a workshop manufacturing system timing Petri net modelis taken as an object; a multi-target heuristic scheduling method is adopted, a non-dominated scheduling scheme most meeting requirements is found out by comprehensively judging a plurality of attributes of a target, the method can solve all non-dominated solutions according to different attributes, and the heuristic multi-target A * algorithm is adopted, so that the system scheduling scheme meeting the requirements can be obtained without expanding all nodes of the system.

The invention relates to the field of network information security risk assessment and discloses a security policy level joint modeling method based on a consultative objective risk analysis system (CORAS)-Petri. Aimed at a vulnerable spot and defect of a CORAS framework and improving of the CORAS framework, and based on unified modeling language modeling, a Petri net describing network or information system dynamic behavior is introduced, a risk assessment method based on an analytic hierarchy process (AHP) and fuzzy comprehensive evaluation risk assessment method is introduced in a risk computing method of the CORAS framework to compute the risk, and the security policy level joint modeling method can not only reduce working amount of estimation and improves estimation efficiency, but also can refer to previous estimation conclusion, strengthens accuracy and effectiveness of estimation, and therefore improves acquaintance of information system security risk. People can take effectively security protection measures to ensure security of an information system.

The invention discloses a random Petri net-based network security risk analysis method, which comprises the following steps of: acquiring related attributes of a network topology structure and property; acquiring and saving threat information and frangibility information of the property; constructing a risk analysis model; simplifying the risk analysis model; acquiring user index information which is needed to be calculated; performing index quantitative analysis and calculation, and the like. The system risk associated analysis in a general information system environment is provided, the problems that the conventional security analysis tool is difficult to discover an unknown attack mode or security hole in the system, cannot perform global security analysis on the system and the like are solved, the comprehensive network risk analysis capacity is greatly improved, and the security of a network information system is effectively guaranteed.

The invention relates to a semantic consistency verification method of a semantic Web service combination, which belongs to the field of semantic nets and Web services. The invention is characterized in that the method is realized in a way that: establishing a storage unit of a semantic Web service coloring Petri net model, a parameter semantic consistency verification submodule, a QoS (Quality of Services) attribute consistency verification submodule and a consistency analytic result storage submodule on a computer; and analyzing the semantic consistency of the semantic Web service combination by using a coloring Petri net formalized verification method, wherein the semantic consistency comprises parameter semantic consistency and QoS attribute consistency. The invention can verify whether the semantic Web service combination is consistent in semantics and satisfies the demands of users for service non-function attributes.

A basic block within a thread program is characterized for convergence based on mapping the basic block to an indicator subnet within a corresponding Petri net generated to model the thread program. Each block within the thread program may be similarly characterized. Each corresponding Petri net is enumerated to generate a corresponding state space graph. If the state space graph includes an exit node with an odd execution count attribute, such as by Petri net coloring, then the corresponding basic block is divergent. The corresponding basic block is convergent otherwise. Using this characterization technique, a thread program compiler may advantageously identify all convergent blocks within a thread program and apply appropriate optimizations to the convergent blocks.

A method and system is provided for verifying and certifying the safety logic of a manufacturing automation system including safety logic, where the logic may include one or more safety modules, routines, programs and tasks or a combination thereof; testing specifications corresponding to the safety logic; one or more formal model generators adapted for automatically transforming the safety logic and testing specifications through a logic parser into their respective mathematical models, formatted for example, as a Petri-net or binary decision diagram; a safety logic verifier configured for automatically comparing the safety logic formal model against the testing specification formal model to verify the safety logic model for the purpose of certifying the safety logic. The testing specifications may include testing of safety logic behavior including reaching safe state, remaining in safe state without reset, recovering from safe state with reset and remaining active with false alarm detection.

The invention discloses a method for diagnosing lithium battery faults by the Petri net. For diagnosis of electric quantity nonuniformity of single lithium batteries, a Petri net system is adopted for constructing a fault diagnosis model, and fault information for analysis comes from external battery voltage, current, temperature and system operating time. According to the method for diagnosing the lithium battery faults, various factors are considered in fault diagnosis, and diagnosis operation is quick; high efficiency shows up in various complicated systems; the Petri net based fault diagnosis model is capable of quickly working out a fault position according to a corresponding incidence matrix and calling an associated judgment model for confirming fault occurrence, so that real-time monitoring of battery operating conditions can be well realized in an operation process of a battery pack system, and fault information can be processed timely.

The invention provides a method and a device for simulating a power electronic system in order to solve the problem of low speed of power electronic system simulation in the prior art. The method comprises the following steps of: calculating variation of a topological structure caused by starting and stopping operation of a simulation system by using a Petri Net matrix model; updating a state equation of a continuous sub system of the simulation system according to information of the variation of the topological structure; and calculating the state equation of the continuous sub system to determine a value of a state variable of the simulation system. By using the technical scheme, the power electronic system simulation can be carried out efficiently.

The invention discloses a time Petri net based emergency rescue resource scheduling method and an emergency rescue method. The time Petri net based emergency rescue resource scheduling method comprises the steps of: analyzing existing contingency plans of petrochemical enterprises, extracting emergency rescue action actuating logics, establishing a Petri net model and finding out emergency rescue resources required by each emergency rescue action based on the contingency plans; analyzing states of the emergency rescue resources, and establishing a sub-Petri net model in the preparing and using processes of the emergency rescue resources; integrating the Petri net model and the sub-Petri net model to establish an emergency rescue resource scheduling Petri net model; configuring initial and target identifiers of the emergency rescue resource scheduling Petri net model, calling a solution algorithm to solve a change excitation strategy with the least accomplishing time and obtaining an optimized emergency rescue resource scheduling strategy. The emergency rescue resources can be adjusted in time based on the real-time fire condition, so that the time Petri net based emergency rescue resource scheduling method improves disaster rescue efficiency and is suitable for fire situations with concurrence of secondary disasters in a resource coupling state.

The invention provides a CPS physical solid formalized modeling method based on blend space-time Petri net model. First, a rational system structure map is provided after Cyber-physical System (CPS) features are analyzed; a new event presentation is designed for space-time features of the CPS event message and physical solid dynamic changes; space-time factors and continuous variables are introduced on the basis of the Petri net to construct a blend space-time Petri net model; physical solid logic and time hierarchal behaviors can be described and state changes due to changes of physical solid position changes can be described. The CPS physical solid formalized modeling method based on a blend space-time Petri net model can be applied to real-time event CPS model design, so a new CPS physical solid modeling method can be achieved. Consistency between real-time property and space-time can be achieved for the CPS by the use of the method; continuous variables are introduced in consideration of physical environment dynamic property, so the method is suitable for all environments; and foundation is laid for the development of CPS.

Various embodiments of the present invention provide systems and methods for enabling design, generation, and execution of real-time workflows. Such embodiments provide a graphical designer including a plurality of shapes representing the various objects of a workflow that are used to model the workflow. In addition, various embodiments of the graphical designer provide shapes to model aspects of the workflow not found in previous graphical designers. Various embodiments also provide a code generator that converts the representation of the workflow into executable code for multiple target languages. Various embodiments also provide a workflow engine based on a Petri net model responsible for executing the workflow and for delegating tasks to be performed for the workflow to an operating system. In various embodiments, the workflow engine further includes a platform abstraction layer that provides a transition layer from the Petri net language to the operating system language.

The invention discloses a PLC (programmable logic controller) programming method for an automatic stereoscopic warehouse system based on a Petri net, wherein the PLC programming method comprises the following steps: 1) establishing an object Petri network model for ex-warehouse process of the automatic warehouse system; 2) establishing a closed Petri net model of the automatic warehouse system; 3) converting the closed Petri network model into a PLC ladder-chart program. Compared with an expansion Petri net, the common Petri net is relatively simple in semantics, simple in excitation condition, relatively visual and luminous in net model, easy to analyze, and has universal relevance, a manure analyzing tool and theoretical basis.