Looking for breakthrough ideas for innovation challenges? Try Patsnap Eureka!

Property analysis method and system of general-purpose Petri net based on quasi-perfect finite reachable tree

An attribute analysis, limited technology, applied in the field of attribute analysis of the general Petri net model, can solve the problem of inability to thoroughly analyze the general Petri net

Inactive Publication Date: 2009-05-27
SOUTHEAST UNIV
View PDF0 Cites 19 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

So far, there is no technology that can thoroughly analyze the properties of general Petri nets, especially unbounded Petri nets, such as activity and reversibility.

Method used

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
View more

Image

Smart Image Click on the blue labels to locate them in the text.
Viewing Examples
Smart Image
  • Property analysis method and system of general-purpose Petri net based on quasi-perfect finite reachable tree
  • Property analysis method and system of general-purpose Petri net based on quasi-perfect finite reachable tree
  • Property analysis method and system of general-purpose Petri net based on quasi-perfect finite reachable tree

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0047] The primary task of Petri net model attribute analysis is to generate the quasi-complete finite reachable tree of the user's Petri net model, that is, by reading the Petri net model description data drawn by the user in the Petri net editing software system, according to the quasi-complete finite reachable tree The generation process is finally transformed into the description data of the quasi-complete finite reachable tree. In essence, it is to transform the data structure representing Petri net in the software system into the data structure representing the pre-complete finite reachable tree. Therefore, to implement Petri net attribute analysis, one is to determine the data structure representing the Petri net and the quasi-complete finite reachable tree; the second is to generate the quasi-complete finite reachable tree of the Petri net; Analyze the properties of the corresponding Petri net.

[0048] Firstly, the data structure used to save the Petri net model and ...

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

PUM

No PUM Login to View More

Abstract

The invention discloses a method and a system for analyzing property of a quasi-perfect limited reachability tree based general Petri network. A quasi-perfect limited reachability tree which is different from the prior reachability tree and derivatives of the prior reachability tree is generated by Petri network model description data; by node identification of a traversal tree, the boundedness and the safety of the Petri network are determined; the trees are converted to generate a series of local reachability trees, the number of arc labels in the local trees is counted, and the conditions of activity and deadlock of variances and the network of the Petri network are analyzed; and the appearance conditions of an initial label of the Petri network in the local reachability trees are checked, and the reversibility of the Petri network is analyzed and judged. Compared with the prior art, the invention is suitable to be used to analyze the property of the general Petri network model, and is not restricted to bounded Petri networks and certain Petri networks, so that the invention can be widely applied to related dynamic characteristic analysis of a concurrent system and a discrete event dynamic system.

Description

technical field [0001] The present invention relates to a method for attribute analysis of a Generalized Petri net (Generalized Petri nets) model, especially an attribute analysis method of a Generalized Petri net based on a quasi-complete finite reachable tree and using the method for analyzing the attributes of the above-mentioned Petri net system. Background technique [0002] Petri net is a graphical mathematical tool, which is very suitable for describing various concurrent systems and discrete event systems with asynchronous and concurrent characteristics. Petri nets have been widely used in discrete event dynamic systems and concurrent systems, such as modeling, analysis, performance evaluation, control and simulation of manufacturing systems, logistics, workflow, computer operating systems, software systems, etc. [0003] Petri net is defined as the binary formula G=(N, M 0 ), where N=(P, T, F, W) is a Petri net structure, P is a limited set of places, each place i...

Claims

the structure of the environmentally friendly knitted fabric provided by the present invention; figure 2 Flow chart of the yarn wrapping machine for environmentally friendly knitted fabrics and storage devices; image 3 Is the parameter map of the yarn covering machine
Login to View More

Application Information

Patent Timeline
no application Login to View More
IPC IPC(8): G06F17/50G06F17/30
Inventor 李俊戴先中孟正大张凯锋
Owner SOUTHEAST UNIV
Who we serve
  • R&D Engineer
  • R&D Manager
  • IP Professional
Why Patsnap Eureka
  • Industry Leading Data Capabilities
  • Powerful AI technology
  • Patent DNA Extraction
Social media
Patsnap Eureka Blog
Learn More
PatSnap group products

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