37 results about "Colored petri" patented technology

A method and system for translating a JDF workflow into a colored Petri net representation. Once the workflow has been converted, the colored Petri net is validated and analyzed. This provides the ability to identify potential deadlock conditions within a JDF workflow. In addition, the model network can be used to simulate throughput and turnaround time of a workflow and the effects of resources arriving at various times.

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 model transformation method from Web service combination to a colored Petri network. The model transformation method comprises the steps of carrying out formalized definition on obtained Web service combination and a colored Petri network described by the OWL-S language, carrying out modeling on the Web service combination after formalized definition based on the colored Petri network, and carrying out structure transformation and data flow transformation to on the Web service combination after modeling to obtain a corresponding colored Petri network model. The transformation method comprises the steps of transformation of control structure binding and parameter binding, and the parameter binding is mainly the transformation from parameter types based on a resource description framework mode to a color token in a CPN model. Compared with an original formalized transformation method, consistency of the colored Petri model and the original Web service combination is paid more attention to, the structural transformation mode is supported, and parameter type check and expression mapping functions are supported.

The invention discloses a service-oriented demand analysis method. The method includes the steps that first, a user need is abstracted to be a septet, an existing web service is preprocessed, and then whether demand analysis is needed or not is judged according to the semantic distance of the septet and meta services; when the demand analysis is carried out, the relevance among the meta services is selected first, afterwards, needed paths of all output parameters for obtainment of the user need are searched, and the paths are fed back to a user after being ranked from high to low according to user satisfaction. According to the method, the existing service is utilized, the need is decomposed on purpose, granularity control is carried out as soon as possible, so that the need decomposition process is completed as early as possible, an efficient decomposition service can be provided, and a colored petri net model is established.

The invention relates to a Turing model-based augment reality assembly environment system hierarchical colored petri nets (HCPN) modeling method. By taking a Turing with a model of calculating 'X+1' for reference, the Turing can record the current state X, acquires an up-to-date command after input is given, provides the up-to-date state output, and applies the state output to establishment of a hierarchical colored Petri net model to ensure that the model can remember the current internal state and combines the input to make correct judgment of the state at the next moment. Colored petri nets (CPN) Tools are adopted to establish a model of the augment reality assembly environment system, wherein a network is layered; and a virtual hand sub-network, an event management sub-network, an assembly sub-network and the like are refined, input and output of each sub-network are utilized to realize event driving, and the relations among various factors in the network are determined, so that the augment reality assembly environment system has logical inference property, can effectively process massive random discrete events, is convenient to express the dynamic establishing process of the assembly model, and has the capability of sensing the user intention.

The invention discloses a Petri network-based leakage protection setting calculation method for a mine high-voltage power network, which is mainly applied to an automatic setting calculation of leakage protection of the mine high-voltage power network. According to the method, a colored Petri network-based network topology analysis model and a colored Petri network-based leakage protection setting calculation model are built; the network topology analysis model comprises eight places and five changes, and mainly finishes topology analysis of the mine high-voltage power network and encoding on each switch; and the leakage protection setting calculation model comprises eight places and seven changes, and mainly finishes the setting calculation of the leakage protection of the mine high-voltage power network. A system is modeled by a colored Petri network, so that the modeling difficulty is lowered; the model is simplified; the hierarchy is high; the inference is simple; and the setting calculation accuracy and rapidity are effectively improved.