Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《》 1990-01
Add to Favorite Get Latest Update

Decision Algorithms for Petri Net Liveness and Nondeadlock and Their Proving

Lin Weiguo Yah Juanyong  
What is imporatant in considering the logical properties of a system is to analyse its liveness, nondeadlock and safety for Petri Net. In this paper, two decision algorithms—Petri Net depth priority search algorithm and liveness decision algorithm are proposed and proved.
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved