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. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。