logic petri nets and equivalency

CORC > 软件研究所 > 软件所图书馆 > 2009年期刊/会议论文

	logic petri nets and equivalency
	Du Y.Y. ; Guo B.Q.
刊名	Information Technology Journal
	2009
卷号	8 期号:1 页码:95-100
关键词	Marine biology Petri nets
ISSN号	18125638
收录类别	EI
语种	英语
公开日期	2011-03-18
附注	Logic Petri nets (LPN) can describe and analyze batch processing function and passing value indeterminacy in cooperative systems and its practical applications are shown with some nontrivial examples. This study focuses on the analysis of the modeling power of LPNs and the equivalency between LPNs and Petri nets with inhibitor arcs (IPN). The equivalency is proved formally and a constructing algorithm of equivalent IPNs from LPNs is proposed based on the disjunctive normal forms of logic input/output expressions. Moreover, the size of an LPN model is smaller than that of the equivalent IPN model. © 2009 Asian Network for Scientific Information.
内容类型	期刊论文
源URL	[http://124.16.136.157/handle/311060/7734]
专题	软件研究所_软件所图书馆_2009年期刊/会议论文
推荐引用方式 GB/T 7714	Du Y.Y.,Guo B.Q.. logic petri nets and equivalency[J]. Information Technology Journal,2009,8(1):95-100.
APA	Du Y.Y.,&Guo B.Q..(2009).logic petri nets and equivalency.Information Technology Journal,8(1),95-100.
MLA	Du Y.Y.,et al."logic petri nets and equivalency".Information Technology Journal 8.1(2009):95-100.