Paper Title:
Structural Property Analysis of a Kind of Petri Net Synthesis
  Abstract

Petri net synthesis can avoid the state exploration problem by guaranteeing the correctness in the Petri net while incrementally expanding the net. This paper proposes the conditions imposed on a synthesis shared a kind of subnet under which the following structural properties will be preserved: repetitiveness, consistency, structural boundedness, conservativeness, structural liveness, P-invariant and T-invariant.

  Info
Periodical
Advanced Materials Research (Volumes 255-260)
Edited by
Jingying Zhao
Pages
1989-1993
DOI
10.4028/www.scientific.net/AMR.255-260.1989
Citation
C. L. Xia, Z. D. Liu, P. Sun, "Structural Property Analysis of a Kind of Petri Net Synthesis", Advanced Materials Research, Vols. 255-260, pp. 1989-1993, 2011
Online since
May 2011
Export
Price
$32.00
Share

In order to see related information, you need to Login.

In order to see related information, you need to Login.

Authors: Yi Sheng Huang, Ter Chan Row
Metal alloy Materials
Abstract:Deadlock prevention, deadlock detection and deadlock avoidance strategies are used to solve the deadlock problems of flexible manufacturing...
1498
Authors: Ze Tao, Xiao Xia Liu
Chapter 7: Computer Application in Design and Manufacturing (1)
Abstract:A controller design method for Petri net with uncontrollable and unobservable transitions that enforces the conjunction of a set of linear...
3855
Authors: Yan Pei Liu, Jun Hui Fu, Hong Yu Feng
Chapter 8: System Modeling and Simulation
Abstract:With the larger and more complex of the size and function of software products,choosing an efficient modeling technique for analyzing...
4350
Authors: Peng Liu, Yong Zhi Liu, Chun Jian Wang
Chapter 15: Software and Computer in Research and Engineering Solutions
Abstract:According to the shortcoming of the color petri net, we have proposed a new method named multi-grade color petri net in order to satify the...
2345