首页   按字顺浏览 期刊浏览 卷期浏览 POC net, a subclass of Petri nets, and its application to timed Petri nets
POC net, a subclass of Petri nets, and its application to timed Petri nets

 

作者: ATSUSHI OHTA,   TOMIJI HISAMURA,  

 

期刊: International Journal of Systems Science  (Taylor Available online 1993)
卷期: Volume 24, issue 3  

页码: 539-552

 

ISSN:0020-7721

 

年代: 1993

 

DOI:10.1080/00207729308949505

 

出版商: Taylor & Francis Group

 

数据来源: Taylor

 

摘要:

Liveness is one of the most important properties of the Petri net analysis. This property is concerned with a capability for firing of transitions. On the other hand, place-liveness is another notion related to liveness, which is concerned with a capability for having tokens in places. Concerning these liveness and place-liveness problems, this paper suggests a new subclass of Petri net, ‘POC nets’, as a superclass of AC nets and DC nets. For this subclass, the equivalence between liveness and place-liveness is shown and a sufficient condition for liveness for this POC net is derived. Then the results are extended to liveness problem of timed Petri nets which have transitions with finite firing durations and the earliest firing rule. Although liveness of a (non-timed) Petri net is neither necessary nor sufficient condition for liveness of a timed Petri net, it is shown that liveness is preserved if the net has POC structure. Furthermore, it is pointed out that if a POC net satisfies some additional condition, Petri net liveness is equivalent to timed Petri net liveness. Finally, it is shown that liveness of timed POC nets with TC structure and the earliest firing rule is decidable with deterministic polynomial time complexity.

 

点击下载:  PDF (365KB)



返 回