메뉴 건너뛰기




Volumn 4762 LNCS, Issue , 2007, Pages 98-113

On the efficient computation of the minimal coverability set for petri nets

Author keywords

[No Author keywords available]

Indexed keywords

APPROXIMATION ALGORITHMS; COMPUTATIONAL METHODS; PROBLEM SOLVING;

EID: 38149005502     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75596-8_9     Document Type: Conference Paper
Times cited : (23)

References (12)
  • 1
    • 0007441079 scopus 로고
    • The minimal coverability graph for Petri nets
    • Rozenberg, G, ed, Advances in Petri Nets 1993, Springer, Heidelberg
    • Finkel, A.: The minimal coverability graph for Petri nets. In: Rozenberg, G. (ed.) Advances in Petri Nets 1993. LNCS, vol. 674, pp. 210-243. Springer, Heidelberg (1993)
    • (1993) LNCS , vol.674 , pp. 210-243
    • Finkel, A.1
  • 2
    • 34250359260 scopus 로고    scopus 로고
    • A counter-example to the minimal coverability tree algorithm
    • Technical Report 535, Université Libre de Bruxelles
    • Finkel, A., Geeraerts, G., Raskin, J.F., Van Begin, L.: A counter-example to the minimal coverability tree algorithm. Technical Report 535, Université Libre de Bruxelles (2005)
    • (2005)
    • Finkel, A.1    Geeraerts, G.2    Raskin, J.F.3    Van Begin, L.4
  • 4
    • 34347336505 scopus 로고    scopus 로고
    • Geeraerts, G., Raskin, J.F., Van Begin, L.: Well-structured languages. Act. Inf. 44(3-4)
    • Geeraerts, G., Raskin, J.F., Van Begin, L.: Well-structured languages. Act. Inf. 44(3-4)
  • 5
    • 38149098059 scopus 로고    scopus 로고
    • Geeraerts, G., Raskin, J.F., Van Begin, L.: On the efficient computation of the minimal coverability set for Petri nets. Technical Report CFV 2007.81
    • Geeraerts, G., Raskin, J.F., Van Begin, L.: On the efficient computation of the minimal coverability set for Petri nets. Technical Report CFV 2007.81
  • 6
    • 0026884434 scopus 로고
    • Reasoning about Systems with Many Processes
    • German, S., Sistla, A.: Reasoning about Systems with Many Processes. J. ACM 39(3) (1992)
    • (1992) J. ACM , vol.39 , Issue.3
    • German, S.1    Sistla, A.2
  • 7
    • 84947418535 scopus 로고    scopus 로고
    • Grahlmann, B.: The PEP tool. In: Grumberg, O. (ed.) CAV 1997. LNCS, 1254, pp. 440-443. Springer, Heidelberg (1997)
    • Grahlmann, B.: The PEP tool. In: Grumberg, O. (ed.) CAV 1997. LNCS, vol. 1254, pp. 440-443. Springer, Heidelberg (1997)
  • 8
    • 0000223972 scopus 로고
    • Parallel Program Schemata
    • Karp, R.M., Miller, R.E.: Parallel Program Schemata. JCSS 3, 147-195 (1969)
    • (1969) JCSS , vol.3 , pp. 147-195
    • Karp, R.M.1    Miller, R.E.2
  • 10
    • 38149003962 scopus 로고
    • Petri Nets
    • Springer, Heidelberg
    • Reisig, W.: Petri Nets. An introduction. Springer, Heidelberg (1986)
    • (1986) An introduction
    • Reisig, W.1
  • 11
    • 38149035409 scopus 로고    scopus 로고
    • Personal communication
    • Starke, P.: Personal communication
    • Starke, P.1


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