메뉴 건너뛰기
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumn 1295, Issue , 1997, Pages 508-517
Partial order semantics and read arcs
Author keywords

[No Author keywords available]
Indexed keywords

PETRI NETS;
EID: 84947732767     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0029994     Document Type: Conference Paper
Times cited : (24)
References (11)
  • 1
    • 84947814717 scopus 로고
    • A Petri net semantics for π-calculus
    • L. Insup and S. Smolka, editors, Springer
    • N. Bust and R. Gorrieri. A Petri net semantics for π-calculus. In L. Insup and S. Smolka, editors, CONCUR 95, LNCS 962, 145-159. Springer, 1995.
    • (1995) CONCUR 95, LNCS , vol.962 , pp. 145-159
    • Bust, N.1    Gorrieri, R.2
  • 2
    • 84957700975 scopus 로고    scopus 로고
    • Non-sequential semantics for contextual P/T-nets
    • J. Billington and W. Reisig, editors, Springer
    • N. Busi and M. Pinna. Non-sequential semantics for contextual P/T-nets. In J. Billington and W. Reisig, editors, Applications and Theory of Petri Nets 1996, LNCS 1091, 113-132. Springer, 1996.
    • (1996) Applications and Theory of Petri Nets 1996, LNCS , vol.1091 , pp. 113-132
    • Busi, N.1    Pinna, M.2
  • 3
    • 85029434486 scopus 로고
    • Coloured Petri nets extended with place capacities, test arcs, and inhibitor arcs
    • M. Ajmone-Marsan, editor, Springer
    • S. Christensen and N.D. Hansen. Coloured Petri nets extended with place capacities, test arcs, and inhibitor arcs. In M. Ajmone-Marsan, editor, Applications and Theory of Petri Nets 1993, LNCS 691, 186-205. Springer, 1993.
    • (1993) Applications and Theory of Petri Nets 1993, LNCS , vol.691 , pp. 186-205
    • Christensen, S.1    Hansen, N.D.2
  • 5
    • 0010015286 scopus 로고
    • The refinement theorem for ST-bisimulation semantics
    • M. Broy and C.B. Jones, editors, Elsevier Science Pub. (North-Itolland)
    • R.J.v Glabbeek. The refinement theorem for ST-bisimulation semantics. In M. Broy and C.B. Jones, editors, Programming Concepts and Methods, Proc. IFIP Working Conference, 27-52. Elsevier Science Pub. (North-Itolland), 1990.
    • (1990) Programming Concepts and Methods, Proc. IFIP Working Conference , pp. 27-52
    • Glabbeek, R.1
  • 6
    • 21344484290 scopus 로고
    • Order structures and generallsations of szpilrajn's theorem
    • R. Shyamasundar, editor, Springer
    • R. Janicki and M. Koutny. Order structures and generallsations of szpilrajn's theorem. In R. Shyamasundar, editor, Found. Software Techn. and Theor. Comp. Sci. '93, LNCS 761, 348-357. Springer, 1993.
    • (1993) Found. Software Techn. and Theor. Comp. Sci. '93, LNCS , vol.761 , pp. 348-357
    • Janicki, R.1    Koutny, M.2
  • 9
    • 0003310162 scopus 로고
    • Modular Construction and Partial Order Semantics of Petri Net
    • Springer
    • W. Vogler. Modular Construction and Partial Order Semantics of Petri Net. Lect. Notes Comp. Sci. 625. Springer, 1992.
    • (1992) Lect. Notes Comp. Sci , vol.625
    • Vogler, W.1
  • 10
    • 0001681473 scopus 로고
    • Timed testing of concurrent systems
    • W. Vogler. Timed testing of concurrent systems. Information and Computation, 121:149-171, 1995.
    • (1995) Information and Computation , vol.121 , pp. 149-171
    • Vogler, W.1
  • 11
    • 84951075659 scopus 로고    scopus 로고
    • Efficiency of asynchronous systems and read arcs in Petri nets
    • Springer
    • W. Vogler. Efficiency of asynchronous systems and read arcs in Petri nets. To appear in ICALP 97, LNCS. Springer, 1997.
    • (1997) To Appear in ICALP 97, LNCS
    • Vogler, W.1

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