37 results about "Colored petri" patented technology

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.