메뉴 건너뛰기




Volumn 3099, Issue , 2004, Pages 464-473

3D-visualization of petri net models: concept and realization

Author keywords

3d visualization; Animation; Petri nets

Indexed keywords

ANIMATION; PETRI NETS; VISUALIZATION;

EID: 35048813152     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27793-4_27     Document Type: Article
Times cited : (19)

References (15)
  • 2
    • 84857601685 scopus 로고    scopus 로고
    • Formal relationship between Petri nets and graph grammars as basis for animation views in GenGED
    • Society for Design and Process Science, June
    • Roswitha Bardohl, Claudia Ermel, and Julia Padberg. Formal relationship between Petri nets and graph grammars as basis for animation views in GenGED. In Integrated Design and Process Technology IDPT 2002, Society for Design and Process Science, June 2002.
    • (2002) Integrated Design and Process Technology IDPT 2002
    • Bardohl, R.1    Ermel, C.2    Padberg, J.3
  • 4
    • 35048854363 scopus 로고    scopus 로고
    • Design/CPN. http://www.daimi.au.dk/designCPN/. 2004/03/12.
    • Design/CPN. http://www.daimi.au.dk/designCPN/. 2004/03/12.
  • 8
    • 0004483015 scopus 로고    scopus 로고
    • Algebraic system nets for modelling distributed algorithms
    • December
    • Ekkart Kindler and Wolfgang Reisig. Algebraic system nets for modelling distributed algorithms. Petri Net Newsletter, 51:16-31, December 1996.
    • (1996) Petri Net Newsletter , vol.51 , pp. 16-31
    • Kindler, E.1    Reisig, W.2
  • 9
    • 0034926428 scopus 로고    scopus 로고
    • Algebraic nets with flexible arcs
    • July
    • Ekkart Kindler and Hagen Völzer. Algebraic nets with flexible arcs. Theoretical Computer Science, 262:285-310, July 2001.
    • (2001) Theoretical Computer Science , vol.262 , pp. 285-310
    • Kindler, E.1    Völzer, H.2
  • 10
    • 84879111552 scopus 로고    scopus 로고
    • Modelling of features and feature interactions in Nokia mobile phones using coloured Petri nets
    • rd International Conference, Springer, June 2002
    • rd International Conference, LNCS 2360, pages 294-313. Springer, June 2002.
    • LNCS , vol.2360 , pp. 294-313
    • Lorentsen, L.1    Tuovinen, A.-P.2    Xu, J.3
  • 11
    • 35048856256 scopus 로고    scopus 로고
    • The PEP Tool, http://parsys.infonnatik.uni-oldenburg.de/~pep. 2004/03/12.
    • The PEP Tool, http://parsys.infonnatik.uni-oldenburg.de/~pep. 2004/03/12.
  • 12
    • 35048839475 scopus 로고    scopus 로고
    • PNVis homepage. http://www.upb.de/cs/kindler/research/PNVis. 2004/03/12.
    • PNVis homepage. http://www.upb.de/cs/kindler/research/PNVis. 2004/03/12.
  • 14
    • 35048871796 scopus 로고    scopus 로고
    • ExSpect 6.4x product infromation
    • K. H. Mortensen, editor, June
    • Eric Verbeek. ExSpect 6.4x product infromation. In K. H. Mortensen, editor, Petri Nets 2000: Tool Demonstrations, pages 39-41, June 2000.
    • (2000) Petri Nets 2000: Tool Demonstrations , pp. 39-41
    • Verbeek, E.1
  • 15
    • 0348155845 scopus 로고    scopus 로고
    • The Petri Net Kernel
    • H. Ehrig, W. Reisig, G. Rozenberg, and H. Weber, editors, Petri Net Technologies for Modeling Communication Based Systems, Springer
    • Michael Weber and Ekkart Kindler. The Petri Net Kernel. In H. Ehrig, W. Reisig, G. Rozenberg, and H. Weber, editors, Petri Net Technologies for Modeling Communication Based Systems, LNCS 2472, pages 109-123. Springer, 2003.
    • (2003) LNCS , vol.2472 , pp. 109-123
    • Weber, M.1    Kindler, E.2


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