MODELING AND REACHABILITY ANALYSIS OF BOUNDED PETRI NETS WITH SYNCHRONIZING TRANSITION

GAO Na,HAN Xiaoguang,CHEN Zengqiang,ZHANG Qing

Journal of Systems Science and Mathematical Sciences ›› 2016, Vol. 36 ›› Issue (7) : 924-936.

PDF(705 KB)
PDF(705 KB)
Journal of Systems Science and Mathematical Sciences ›› 2016, Vol. 36 ›› Issue (7) : 924-936. DOI: 10.12341/jssms12818

MODELING AND REACHABILITY ANALYSIS OF BOUNDED PETRI NETS WITH SYNCHRONIZING TRANSITION

  • {{article.zuoZhe_EN}}
Author information +
History +

HeighLight

{{article.keyPoints_en}}

Abstract

{{article.zhaiyao_en}}

Key words

QR code of this article

Cite this article

Download Citations
{{article.zuoZheEn_L}}. {{article.title_en}}. Journal of Systems Science and Mathematical Sciences, 2016, 36(7): 924-936 https://doi.org/10.12341/jssms12818

References

References

{{article.reference}}

Funding

RIGHTS & PERMISSIONS

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

Accesses

Citation

Detail

Sections
Recommended

/