a note on regular petri nets
文献类型：期刊论文
| 作者 | Jiao Li |
| 刊名 | INFORMATION PROCESSING LETTERS
 |
| 出版日期 | 2008 |
| 卷号 | 108期号:3页码:110-114 |
| 关键词 | Regular Petri nets Siphon State machines Trap Formal methods |
| ISSN号 | 0020-0190 |
| 学科主题 | Computer Science, Information Systems |
| 收录类别 | SCI,EI,ACM,SCIENCEDIRECT |
| 语种 | 英语 |
| WOS记录号 | WOS:000259955300006 |
| 公开日期 | 2011-06-10 |
| 附注 | Petri nets are one of the most popular formal models of concurrent systems. It is important to identify a class of Petri nets, as large as possible, having strong theoretical results and efficient analysis algorithms. The regularity of Petri nets guarante |
| 源URL | [http://124.16.136.157/handle/311060/10245]  |
| 专题 | 软件研究所_软件所图书馆_期刊论文 |
| 推荐引用方式 GB/T 7714 | Jiao Li. a note on regular petri nets[J]. INFORMATION PROCESSING LETTERS,2008,108(3):110-114. |
| APA | Jiao Li.(2008).a note on regular petri nets.INFORMATION PROCESSING LETTERS,108(3),110-114. |
| MLA | Jiao Li."a note on regular petri nets".INFORMATION PROCESSING LETTERS 108.3(2008):110-114. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。