标题:Transition firing rules of logic Petri nets
作者:Du, Yu Yue ;Wang, Jing ;Zhang, Yong Feng
作者机构:[Du, Yu Yue ;Wang, Jing ;Zhang, Yong Feng ] Shandong University of Science and Technology, Qingdao, China
通讯作者:Wang, Jing
来源:Journal of Software Engineering
出版年:2014
卷:8
期:1
页码:23-31
DOI:10.3923/jse.2014.23.31
摘要:Logical Petri nets (LPNs) can well describe and analyze batch processing functions and passing value indeterminacy in cooperative systems. A new definition of the LPNs is proposed based on our initial work in this study. The standard form of logic expressions can be obtained and the logic input/output enabling vector set is defined. How to determine the corresponding relationships between logic input and output expressions is solved. In order to analyze their properties, a vector matching method is given and a therom has been proved. Finally, the feasibility of the proposed method is illustrated by an example. © 2014 Academic Journals Inc.
收录类别:EI
资源类型:期刊论文
TOP