%0 Journal Article
%T Discovering invariants for Petri nets with DISCOVERER<br>基于DISCOVERER的Petri网不变式自动生成*
%A BI Zhong-qin
%A SHAN Mei-jing
%A CHEN Guang-xi
%A <br>毕忠勤
%A 单美静
%A 陈光喜
%J 计算机应用研究
%D 2009
%I 
%X This paper transformed Petri nets into a semi-algebraic transition system and presented an algorithm for generating the invariant of Petri nets, which was helpful to increase the accuracy of structural methods in calculating approximations of the reachability space. The method firstly assumed the invariant of Petri nets as a parameterized system, and then evaluated para-meters in the invariant by solving the corresponding semi-algebraic system. And implemented this method associated with the computer algebra software package-DISCOVERER and QEPCAD. From preliminary experimental results, the performance of this method is significant.
%K Petri nets
%K invariant
%K semi-algebraic system
%K semi-algebraic transition system<br>Petri网
%K 不变式
%K 半代数系统
%K 半代数变迁系统
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=A5032A4EA7AE4D6A263BC375092B79DB&yid=DE12191FBD62783C&vid=96C778EE049EE47D&iid=E158A972A605785F&sid=7E01AF4ED17ED9B3&eid=30F6560DE982DECF&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=14