Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Journal of Shanghai University of Electric Power》 2011-01
Add to Favorite Get Latest Update

Generating Invariants for Petri Net Using Quantifier Elimination

BI Zhong-qin (School of Computer and Information Engineering,Shanghai University of Electric Power,Shanghai 200090,China)  
A new approach is presented to generate invariants for Petri net based on template and quantifier elimination.The main idea is to introduce a candidate parametric invariant as template and then reduce the invariant generation of Petri net into a quantifier elimination problem using the initial condition and consecution condition which the invariant should satisfy.From the preliminary experiment results,the feasibility of the approach is demonstrated.
【Fund】: 上海市优秀青年教师培养基金(SDL10010)
【CateGory Index】: TP301.1
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