메뉴 건너뛰기




Volumn 2075, Issue , 2001, Pages 32-52

Identifying commonalities and differences in object life cycles using behavioral inheritance

Author keywords

Inheritance; Lattices; Object oriented methods; Partial orders; Petri nets; Workflow management

Indexed keywords

CRYSTAL LATTICES; PETRI NETS; WORK SIMPLIFICATION;

EID: 84947249980     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45740-2_4     Document Type: Conference Paper
Times cited : (25)

References (20)
  • 1
    • 52449135365 scopus 로고    scopus 로고
    • Verification of Workflow Nets
    • P. Azéma and G. Balbo, editors, Lecture Notes in Computer Science 1248, Springer, Berlin, Germany
    • W.M.P. van der Aalst. Verification of Workflow Nets. In P. Azéma and G. Balbo, editors, Application and Theory of Petri Nets 1997, Lecture Notes in Computer Science 1248, pages 407-426. Springer, Berlin, Germany, 1997.
    • (1997) Application and Theory of Petri Nets 1997 , pp. 407-426
    • Van Der Aalst, W.M.P.1
  • 13
    • 0030143334 scopus 로고    scopus 로고
    • Branching Time and Abstraction in Bisimulation Semantics
    • R.J. van Glabbeek and W.P. Weijland. Branching Time and Abstraction in Bisimulation Semantics. Journal of the ACM, 43(3): 555-600, 1996.
    • (1996) Journal of the ACM , vol.43 , Issue.3 , pp. 555-600
    • Van Glabbeek, R.J.1    Weijland, W.P.2
  • 16
    • 0043136658 scopus 로고    scopus 로고
    • Distributed Electronic Trade Scenarios: Representation, Design, Prototyping
    • R.M. Lee. Distributed Electronic Trade Scenarios: Representation, Design, Prototyping. International Journal of Electronic Commerce, 3(2): 105-120, 1999.
    • (1999) International Journal of Electronic Commerce , vol.3 , Issue.2 , pp. 105-120
    • Lee, R.M.1
  • 18
    • 0024645936 scopus 로고
    • Petri Nets: Properties, Analysis and Applications
    • T. Murata. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77(4): 541-580, 1989.
    • (1989) Proceedings of the IEEE , vol.77 , Issue.4 , pp. 541-580
    • Murata, T.1
  • 20
    • 84947292428 scopus 로고    scopus 로고
    • Woflan 2.0: A Petri-net-based Work-flow Diagnosis Tool
    • M. Nielsen and D. Simpson, editors, Lecture Notes in Computer Science 1825, Springer, Berlin, Germany
    • H.M.W. Verbeek and W.M.P. van der Aalst. Woflan 2.0: A Petri-net-based Work-flow Diagnosis Tool. In M. Nielsen and D. Simpson, editors, Application and Theory of Petri Nets 2000, Lecture Notes in Computer Science 1825, pages 475-484. Springer, Berlin, Germany, 2000. http://www.tm.tue.nl/it/woflan.
    • (2000) Application and Theory of Petri Nets 2000 , pp. 475-484
    • Verbeek, H.M.W.1    Van Der Aalst, W.M.P.2


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