Process model repair method based on Petri net basic structures
A technology of basic structure and process model, applied in special data processing applications, instruments, electrical digital data processing, etc.
- Summary
- Abstract
- Description
- Claims
- Application Information
AI Technical Summary
Problems solved by technology
Method used
Image
Examples
Embodiment Construction
[0206] Below in conjunction with accompanying drawing and specific embodiment the present invention is described in further detail:
[0207] basic concept
[0208] Defining Petri Nets (PetriNet)
[0209] Assume is the active set, and the Petri net is a tuple N=(P,T,F,α,m i ,m f ). Among them, P is the place set, T is the transition set, F:(P×T)∪(T×P)→IN is the weight value of the edge, α:T→A∪{τ} is a mapping from transition to label The function.
[0210] An identity (state of a Petri net) is a multiset of places. m i , m f ∈B(P) are the initial identification and termination identification of tuple N, respectively.
[0211] A transition t∈T is enabled under the label m∈B(P) if and only if Write it as (N,m)[t>.
[0212] Represents the occurrence of the enabling transition t in the network N, changing from the original label m to a new label m', and satisfying ∀ p ∈ P ...
PUM
Abstract
Description
Claims
Application Information
- R&D Engineer
- R&D Manager
- IP Professional
- Industry Leading Data Capabilities
- Powerful AI technology
- Patent DNA Extraction
Browse by: Latest US Patents, China's latest patents, Technical Efficacy Thesaurus, Application Domain, Technology Topic, Popular Technical Reports.
© 2024 PatSnap. All rights reserved.Legal|Privacy policy|Modern Slavery Act Transparency Statement|Sitemap|About US| Contact US: help@patsnap.com