STP-BASED JUDGMENT METHOD OF REVERSIBILITY AND LIVENESS OF BOUNDED PETRI NETS

HAN Xiaoguang,CHEN Zengqiang,LIU Zhongxin,ZHANG Qing

Journal of System Science and Mathematical Science Chinese Series ›› 2016, Vol. 36 ›› Issue (3) : 361-370.

PDF(398 KB)
中国科学院数学与系统科学研究院期刊网
PDF(398 KB)
Journal of System Science and Mathematical Science Chinese Series ›› 2016, Vol. 36 ›› Issue (3) : 361-370. DOI: 10.12341/jssms12739

STP-BASED JUDGMENT METHOD OF REVERSIBILITY AND LIVENESS OF BOUNDED PETRI NETS

    {{javascript:window.custom_author_en_index=0;}}
  • {{article.zuoZhe_EN}}
Author information +
History +

HeighLight

{{article.keyPoints_en}}

Abstract

{{article.zhaiyao_en}}

Key words

QR code of this article

Cite this article

EndNote

Ris (Procite)

Bibtex

Download Citations
{{article.zuoZheEn_L}}. {{article.title_en}}. Journal of Systems Science and Mathematical Sciences, 2016, 36(3): 361-370 https://doi.org/10.12341/jssms12739

References

Publishing order | Descend order by publishing year | Descend order by cited within

References

{{article.reference}}

Funding

RIGHTS & PERMISSIONS

{{article.copyrightStatement_en}}
{{article.copyrightLicense_en}}
PDF(398 KB)

Accesses

Citation

Detail
Sections
Recommended

/

〈 〉