%0 Journal Article
%T On Properties of Concurrent System Based on Petri Net Language<br>基于Petri网语言的并发系统性质研究
%A JIANG Chang-jun
%A LU Wei-ming
%A <br>蒋昌俊
%A 陆维明
%J 软件学报
%D 2001
%I 
%X In this paper, two language characterizations for weak liveness (free-deadlock) and liveness of Petri nets are given. Some language properties of synchronous composed Petri nets are discussed. Based on Petri net language, a necessary and sufficient condition is given for live Petri net (bounded), and then the liveness presevation in a synchronous composed net is studied and a necessary and sufficient condition is obtained. Those results give a formal language method for net liveness testing and liveness controlling.
%K Petri net
%K concurrent system
%K liveness
%K synchronous composition
%K testing
%K controlling<br>Petri网
%K 并发系统
%K 活性
%K 同步合成
%K 测试
%K 控制
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=1E133724A716882A&yid=14E7EF987E4155E6&vid=59906B3B2830C2C5&iid=E158A972A605785F&sid=D8AE57480552698F&eid=F3A3627BFEF439C1&journal_id=1000-9825&journal_name=软件学报&referenced_num=4&reference_num=19