메뉴 건너뛰기
Information Processing Letters
Volumn 109, Issue 16, 2009, Pages 967-970
On conditions for the liveness of weakly persistent nets
Author keywords

Asymmetric choice nets; Formal methods; Intrinsically fair nets; Liveness; Weakly persistent nets
Indexed keywords

ASYMMETRIC CHOICE NETS; INITIAL MARKING; INTRINSICALLY FAIR NETS; LIVENESS; MINIMAL SIPHONS; WEAKLY PERSISTENT NETS;
EID: 67649338401     PISSN: 00200190     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ipl.2009.05.008     Document Type: Article
Times cited : (6)
References (10)
  • 1
    • 0019676119 scopus 로고
    • On weak persistency of Petri nets
    • Yamasaki H. On weak persistency of Petri nets. Inform. Process. Lett. 13 3 (1981) 94-97
    • (1981) Inform. Process. Lett. , vol.13 , Issue.3 , pp. 94-97
    • Yamasaki, H.1
  • 2
    • 0026811040 scopus 로고
    • On structural conditions for weak persistency and semilinearity of Petri nets
    • Hiraishi K., and Ichikawa A. On structural conditions for weak persistency and semilinearity of Petri nets. Theoret. Comput. Sci. 93 2 (1992) 185-199
    • (1992) Theoret. Comput. Sci. , vol.93 , Issue.2 , pp. 185-199
    • Hiraishi, K.1    Ichikawa, A.2
  • 4
    • 0031362845 scopus 로고    scopus 로고
    • Deadlock analysis of Petri nets using siphons and mathematical programming
    • Chu F., and Xie X.L. Deadlock analysis of Petri nets using siphons and mathematical programming. IEEE Trans. Robot. Automat. 13 6 (1997) 793-804
    • (1997) IEEE Trans. Robot. Automat. , vol.13 , Issue.6 , pp. 793-804
    • Chu, F.1    Xie, X.L.2
  • 5
    • 58449133483 scopus 로고
    • Conditions for deciding weak fair Petri net
    • (in Chinese)
    • Wang P.L., and Wu Z.H. Conditions for deciding weak fair Petri net. Chinese J. Comput. 17 (1994) 608-611 (in Chinese)
    • (1994) Chinese J. Comput. , vol.17 , pp. 608-611
    • Wang, P.L.1    Wu, Z.H.2
  • 6
    • 85034565451 scopus 로고
    • Impartiality, justice and fairness: The ethics of concurrent termination
    • Proc. ALP 81, Springer
    • Lehmann D., Pnueli A., and Stavi J. Impartiality, justice and fairness: The ethics of concurrent termination. Proc. ALP 81. LNCS vol. 115 (1981), Springer 264-277
    • (1981) LNCS , vol.115 , pp. 264-277
    • Lehmann, D.1    Pnueli, A.2    Stavi, J.3
  • 7
  • 8
    • 84982167245 scopus 로고
    • Some equivalence results on free choice nets and simple nets, and on the periodicity of live free choice nets
    • Proc. CAAP'83, Springer
    • Best E., and Shields M.W. Some equivalence results on free choice nets and simple nets, and on the periodicity of live free choice nets. Proc. CAAP'83. LNCS vol. 159 (1983), Springer 141-151
    • (1983) LNCS , vol.159 , pp. 141-151
    • Best, E.1    Shields, M.W.2
  • 9
    • 0030291689 scopus 로고    scopus 로고
    • Finding minimal siphons in general Petri nets
    • Tanirnoto S., Yamauchi M., and Watanabe T. Finding minimal siphons in general Petri nets. IEICE Trans. Fund. E79-A 11 (1996) 1817-1824
    • (1996) IEICE Trans. Fund. , vol.E79-A , Issue.11 , pp. 1817-1824
    • Tanirnoto, S.1    Yamauchi, M.2    Watanabe, T.3
  • 10
    • 58449121357 scopus 로고    scopus 로고
    • Incidence matrix based methods for computing repetitive vectors and siphons of Petri net
    • Liu G.J., and Jiang C.J. Incidence matrix based methods for computing repetitive vectors and siphons of Petri net. J. Inf. Sci. Eng. 25 1 (2009) 121-136
    • (2009) J. Inf. Sci. Eng. , vol.25 , Issue.1 , pp. 121-136
    • Liu, G.J.1    Jiang, C.J.2

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.