Characterizing liveness of Petri nets in terms of siphons
文献类型：期刊论文
| 作者 | Jiao, L; Cheung, TY; Lu, WM |
| 刊名 | APPLICATIONS AND THEORY OF PETRI NETS 2002
 |
| 出版日期 | 2002 |
| 卷号 | 2360页码:203-216 |
| 关键词 | asymmetric choice net characterization homogeneous live liveness monotonicity Petri net siphon |
| ISSN号 | 0302-9743 |
| 英文摘要 | Several new characterizations relating the liveness, liveness monotonicity and siphons of general and asymmetric choice nets are first proposed in this article. The first major one states that, if a pure ordinary net satisfies liveness monotonicity, then every siphon of it contains at least one trap. The second major one characterizes the non-liveness of an individual transition of a homogeneous asymmetric choice net in terms of some properties of its siphons. Then, based on these new characterizations, extension and new proofs for several existing characterizations of asymmetric choice nets are given. |
| WOS研究方向 | Computer Science |
| 语种 | 英语 |
| WOS记录号 | WOS:000180067500013 |
| 出版者 | SPRINGER-VERLAG BERLIN |
| 源URL | [http://ir.amss.ac.cn/handle/2S8OKBNM/17765]  |
| 专题 | 中国科学院数学与系统科学研究院 |
| 通讯作者 | Jiao, L |
| 作者单位 | 1.City Univ Hong Kong, Dept Comp Sci, Hong Kong, Hong Kong, Peoples R China 2.Chinese Acad Sci, Acad Math & Syst Sci, Beijing, Peoples R China |
| 推荐引用方式 GB/T 7714 | Jiao, L,Cheung, TY,Lu, WM. Characterizing liveness of Petri nets in terms of siphons[J]. APPLICATIONS AND THEORY OF PETRI NETS 2002,2002,2360:203-216. |
| APA | Jiao, L,Cheung, TY,&Lu, WM.(2002).Characterizing liveness of Petri nets in terms of siphons.APPLICATIONS AND THEORY OF PETRI NETS 2002,2360,203-216. |
| MLA | Jiao, L,et al."Characterizing liveness of Petri nets in terms of siphons".APPLICATIONS AND THEORY OF PETRI NETS 2002 2360(2002):203-216. |
入库方式： OAI收割
来源：数学与系统科学研究院
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。