6 results about "Colored petri" patented technology

The invention discloses a service combination method based on a colored Petri net and a deep reinforcement learning agent. The method comprises the following steps: S1, constructing a colored Petri net model for manufacturing a service combination system; s2, constructing a deep reinforcement learning environment based on the model, and defining a state space, an action space and a reward function; s3, interacting the intelligent agent with the environment, dynamically generating an action mask by using a Petri net model to constrain an action space, and training the intelligent agent to converge by using a near-end strategy optimization algorithm; and S4, taking the strategy obtained by training as an optimal service combination strategy, and triggering transition in the Petri network to generate a final manufacturing service combination scheme. According to the method, the formalized modeling capability of the colored Petri network and the self-adaptive decision-making capability of deep reinforcement learning are deeply coupled, so that the problem that in a dynamic complex industrial interconnection environment, the formalized modeling capability of the colored Petri network and the self-adaptive decision-making capability of the deep reinforcement learning are influenced is solved; the problems of low decision-making efficiency, poor adaptive ability and opaque optimization process caused by huge decision-making space and complex logic constraints in a manufacturing service combination method are solved.

The invention discloses a high-risk attack identification and dynamic defense method for an electric power information physical system, and relates to the field of safety of the electric power information physical system. The method comprises the following steps: firstly, constructing a weight coloring Petri network seven-tuple model, and describing the cross-domain propagation time sequence characteristics of the continuous load redistribution attack in an information-physical network by introducing a time delay parameter; then optimizing the attack triggering and migration probability based on mixed strategy Nash equilibrium; a top-k sequence mining algorithm is adopted to identify a high-risk attack mode from the attack event sequence, and a vulnerability index is defined to quantify the threat degree of the attack; and finally, modeling defense resource allocation as a combined dobby machine problem, and realizing self-adaptive adjustment of a defense strategy through a weight updating mechanism and sliding window optimization. According to the method, an active defense system of'accurate perception-intelligent decision-closed loop optimization 'can be formed, so that the defense capability of an electric power information physical system facing continuous load redistribution attacks is improved.

The application provides a railway track traffic control management method and system, and relates to the technical field of railway track traffic control.The method comprises the following steps: establishing a time synchronization network based on a railway NTP protocol; using a colored Petri net model to perform vulnerability state reachability analysis on an NTP protocol authentication process based on a trusted certificate, and judging whether the current protocol has vulnerability; determining a first dynamic key and a second dynamic key according to key parameters of the NTP protocol authentication process; performing verification according to the first dynamic key and the second dynamic key; if the verification is passed, correcting a synchronization time signal; generating a synchronization timestamp for a target train; collecting real-time running parameters; determining a tracking interval time; and generating and issuing a control instruction.According to the application, the running state of the train can be controlled according to the communication security state and the tracking interval time, and the reliability of the real-time running parameters in time and the line utilization rate of the train are improved.

The invention provides a railway track traffic control management method and system, and relates to the technical field of railway track traffic control. The method comprises the following steps: establishing a time synchronization network based on an NTP protocol of a railway; carrying out vulnerability state reachability analysis on the NTP protocol authentication process based on the credible certificate by adopting a coloring Petri network model, and judging whether the current protocol has vulnerability or not; determining a first dynamic key and a second dynamic key according to key parameters of an NTP protocol authentication process; performing verification according to the first dynamic key and the second dynamic key; if the verification is passed, correcting a synchronization time signal; generating a synchronization timestamp for the target train; collecting real-time operation parameters; determining a tracking interval time; and generating and issuing a control instruction. According to the invention, the operation condition of the train can be controlled according to the communication safety condition and the tracking interval time, and the reliability of real-time operation parameters in time and the line utilization rate of the train are improved.

The invention discloses an RPA multi-process integration verification method based on a colored Petri net, and the method comprises the steps: defining a colored Petri net RCPN model used for representing an RPA process for a multi-component cooperation scene in the RPA process; according to the RCPN model, constructing a corresponding RCPN subnet for each RPA process to be verified; based on the constructed RCPN subnets, integrating a plurality of subnets into an extended RCPN model; defining a determination condition set, and based on each RCPN subnet and the extended RCPN model, constructing a state reachable set of the extended model and a corresponding transition sequence set; and carrying out compatibility verification on the expansion model by utilizing the judgment condition set, and outputting a verification result. According to the method, the compatibility of RPA multi-process integration can be verified under a formalized framework, and the problems that an existing method is insufficient in support of control flow and data flow, lacks unified semantics and is difficult to ensure the integration correctness are solved.

This application provides a carbon flow method based on a hierarchical time-colored Petri net model, belonging to the field of carbon management technology. It constructs a formally defined hierarchical time-colored Petri net basic model, and based on this basic model, obtains an application model containing enterprise, workshop, and equipment layers. In the application model, transitions are distinguished into decision-making transitions and execution transitions. A potential carbon flow calculation function is configured for decision-making transitions to calculate the potential carbon emission increment generated by the current decision-making activity and update it in the carbon account data of the flowing token. An actual carbon flow calculation function is configured for execution transitions to calculate the actual carbon emission increment generated by the current execution activity within its time delay and update it in the carbon account data of the flowing token. Based on the calculated potential and actual carbon emission increments, carbon footprint data is automatically collected from the equipment layer through the workshop layer to the enterprise layer. This enables real-time, dynamic, and cross-level automatic collection of the carbon footprint throughout the product's entire lifecycle.