Structural Property Analysis of a Kind of Petri Net Synthesis

Chuan Liang Xia; Zhen Dong Liu; Peng Sun

doi:10.4028/www.scientific.net/AMR.255-260.1989

Paper Titles

Exact Expression of Element Stiffness Matrix for a Tapered Beam and its Application in Stability Analysis
p.1968

Finite Element Analysis on Mechanical Behavior of Column Underpinning Joints for Building Moving
p.1974

Effection of Relevant Parameters of Infilled Frame Wall on its Structural Lateral Stiffness
p.1979

Gait Recognition Algorithm Based on the Trajectory of Tiptoe
p.1984

Structural Property Analysis of a Kind of Petri Net Synthesis
p.1989

Data-Based Adaptive Fuzzy Wavelet Filter for Robot-Assisted System
p.1994

LS-SVM Based Self-Learning Tremor Controller for Microsurgery
p.1999

The Symmetrical Variation of 2DPCA for Face Recognition
p.2004

The Research on Mediating Effect Model of Relationship Benefits in Materials Industries: Data Mining
p.2009

HomeAdvanced Materials ResearchAdvanced Materials Research Vols. 255-260Structural Property Analysis of a Kind of Petri...

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.

You might also be interested in these eBooks

Advances in Civil Engineering, CEBM 2011

View Preview

Info:

Periodical:

Advanced Materials Research (Volumes 255-260)

Pages:

1989-1993

DOI:

https://doi.org/10.4028/www.scientific.net/AMR.255-260.1989

Citation:

Cite this paper

Online since:

May 2011

Authors:

Chuan Liang Xia, Zhen Dong Liu, Peng Sun

Keywords:

Petri Net, Property Analysis, Repetitiveness, Structural Boundedness, Synthesis

Export:

RIS, BibTeX

Price:

Permissions CCC:

Request Permissions

Permissions PLS:

Request Permissions

Сopyright:

Citation:

References

[1] P. Darondeau, Synthesis and control of asynchronous and distributed systems. In: T. Basten, G. Juhás, S. K. Shukla (eds.) ACSD. IEEE Computer Society, Los Alamitos (2007), pp.13-22.

Google Scholar

[2] E. Badouel, L. Bernardinello, P. Darondeau, Polynomial algorithms for the synthesis of bounded nets. In: P.D. Mosses, M.I. Schwartzbach, M. Nielsen (eds.) TAPSOFT 1995. LNCS, vol. 915, pp.364-383. Springer Heidelberg (1995).

DOI: 10.1007/3-540-59293-8_207

Google Scholar

[3] J. Desel, W. Reisig, The synthesis problem of Petri nets. Acta Informatica 33(4), 297-315 (1996).

DOI: 10.1007/s002360050046

Google Scholar

[4] Kees van Hee, Natalia Sidorova, et al. Soundness and separability of workflow nets in the stepwise refinement. In: Proc the 24th International Conference on Application and Theory of Petri Nets. Eindhoven, The Netherlands, 2003, pp.337-356.

DOI: 10.1007/3-540-44919-1_22

Google Scholar

[5] C. Xia, Analysis of properties of Petri synthesis net, Proc. of the 3rd International Conference on Theory and Applications of Models of Computation, LNCS 3959, (2006) , pp.576-587.

Google Scholar

[6] A. I. Vasiliu, A. Dideban, H. Alla, Control synthesis for manufacturing systems using non-safe Petri nets. CEAI Vol. 11, No.2, pp.43-50.

Google Scholar

[7] Z. J. Ding, J. L. Wang, C. J. Jiang, An approach for synthesis Petri nets for modeling and verifying composite web service. Journal of Information Science and Engineering 24, pp.1309-1328

Google Scholar

[8] C. Xia, A Petri net synthesis method. Journal of Networks, Vol. 5, No. 6, pp.699-707

Google Scholar

[9] T. Murata, Petri nets: properties, analysis and applications. Proceedings of IEEE, 1989, Vol.77, pp.541-580

Google Scholar