quotation:		[Copy]
		Qingtian ZENG,Zhehui WU.[en_title][J].Control Theory and Technology,2004,2(1):93~98.[Copy]

This Paper:Browse 724 Download 118	码上扫一扫！

QingtianZENG,ZhehuiWU
0 Fontlarge +\|Default\|Small
()

摘要:

关键词:

DOI：

Received:May 30, 2003Revised:November 14, 2003

基金项目:

Methods for behavior descriptions of structure-complex Petri nets

Qingtian ZENG, Zhehui WU

(Department of Computer Science and Technology, Shandong University of Science and Technology, Tai'an Shandong 271019, China; Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100080, P.R.China)

Abstract:

Petri net language is a powerful tool for describing dynamic behaviors of physical systems. However, it is not easy to obtain the language expression for a given Petri net especially a structure-complex net. In this paper, we first analyze the behaviors of S-nets, which are structure-simple. With the decomposition method based on a given index function on the place set, a given structure-complex Petri net can be decomposed into a set of structure-simple S-nets. With the language relationships between the original system and the decomposed subnets, an algorithm to obtain the language expression of a given structure-complex net system is presented, which benefits the analysis of physical systems based on the Petri net language.

Key words: Petri net S-net Decomposition Index of places Petri net language Behavior description Synchronous intersection of languages