Unlock instant, AI-driven research and patent intelligence for your innovation.

Unbounded Petri net expansion method for deadlock detection

A deadlock detection and consistent technology, applied in the computer field, can solve problems such as untriggerable transition sequence, unsuitable for unbounded Petri net deadlock detection, unreachable state identification, etc.

Inactive Publication Date: 2018-12-21
SHANDONG UNIV OF SCI & TECH
View PDF0 Cites 0 Cited by
  • Summary
  • Abstract
  • Description
  • Claims
  • Application Information

AI Technical Summary

Problems solved by technology

This technique has the same shortcomings as the coverable tree. There may be untriggerable transition sequences and unreachable state flags in the expansion, so it is not suitable for deadlock detection of unbounded Petri nets.

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
  • Unbounded Petri net expansion method for deadlock detection
  • Unbounded Petri net expansion method for deadlock detection
  • Unbounded Petri net expansion method for deadlock detection

Examples

Experimental program
Comparison scheme
Effect test

Embodiment Construction

[0058] Below in conjunction with accompanying drawing and specific embodiment the present invention is described in further detail:

[0059] A new method of unbounded Petri net expansion for deadlock detection, the input is unbounded prototype Petri net ∑=(P, T; F, M 0 ), the output is the network expansion Petri net ∑ is determined by place set, transition set and flow relation set as well as initial identification. For the emergence network constructed by the new unfolding technique, the condition set B includes three types of conditions, which are common conditions, ω + condition and ω - Conditions are represented by a circle, a circle with a dotted circle inside, and a circle with a dotted circle outside; E is the event set, and F' is the flow relationship set between the condition and the event, respectively. Represented by small rectangles and directed edges. h for The marking function of the nodes in the Petri net reflects the relationship between the nodes in t...

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 an unbounded Petri net expansion method for deadlock detection, belonging to the computer technical field. The invention aims at the field of unbounded Petri nets and ensures that all deadlocks detected by the new deployment method exist truly; a loop or loop-free transition sequence corresponding to each configuration in that resulting deployment of the present invention can be initiated from an initial identification; in the absence of omega-, the deadlock of the network system can be detected completely and accurately under certain conditions. The scale of the invention is smaller than that of the complex reachable tree, and the state explosion problem caused by the concurrent processes in the Petri net can be alleviated.

Description

technical field [0001] The invention belongs to the technical field of computers, and in particular relates to an unbounded Petri net expansion method oriented to deadlock detection. Background technique [0002] Due to its solid mathematical theory support, mature graphic analysis technology and powerful simulation tools, Petri nets are widely used in distributed concurrent systems in the fields of FMS (flexible manufacturing system), BPM (business process management technology), protocol verification, etc. Modeling and analysis can well describe unexpected situations such as asynchrony, conflict, and concurrency in the system. The state space explosion has always been a difficult problem in the verification and analysis of large-scale concurrent systems in Petri nets, and it also hinders the deadlock detection of the net system. The occurrence of deadlock will cause the whole or partial operation of the system to be paralyzed, reduce resource utilization and system produc...

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
Patent Type & Authority Applications(China)
IPC IPC(8): G06F9/52
CPCG06F9/524
Inventor 鲁法明陶冉冉包云霞张雪萍
Owner SHANDONG UNIV OF SCI & TECH