메뉴 건너뛰기




Volumn 283, Issue , 2008, Pages 343-350

Modelling multithreaded social protocols with coloured petri nets

Author keywords

[No Author keywords available]

Indexed keywords

VIRTUAL CORPORATION;

EID: 51149087062     PISSN: 15715736     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-0-387-84837-2_35     Document Type: Conference Paper
Times cited : (4)

References (15)
  • 2
    • 51149123951 scopus 로고    scopus 로고
    • WS-BPEL Extension for People BPEL4People, Version 1.0 June 2007, accessed on March 2008
    • WS-BPEL Extension for People (BPEL4People), Version 1.0 June 2007, https://www.sdn.sap.com/irj/sdn/go/portal/prtroot/docs/library/uuid/ 30c6f5b5-ef02-2a10-c8b5-cc1147f4d58c, accessed on March 2008.
  • 5
    • 84885263429 scopus 로고    scopus 로고
    • us, accessed on March 2008
    • Del.icio.us, http://del.icio.us/, accessed on March 2008.
    • Del.icio
  • 6
    • 51149122389 scopus 로고    scopus 로고
    • Flickr, http://www.flickr.com/, accesses on March 2008.
    • Flickr, http://www.flickr.com/, accesses on March 2008.
  • 7
    • 51049104264 scopus 로고    scopus 로고
    • accessed on March 2008
    • Google Maps, http://maps.google.com/, accessed on March 2008.
    • Google Maps
  • 8
    • 38049120698 scopus 로고    scopus 로고
    • accessed on March 2008
    • Google Blogger, http://www.blogger.com/, accessed on March 2008.
    • Google Blogger
  • 9
    • 0003871155 scopus 로고    scopus 로고
    • Coloured Petri Nets. Basic concepts, analysis methods and practical use
    • Springer-Verlag, Berlin
    • K. Jensen. Coloured Petri Nets. Basic concepts, analysis methods and practical use. EATCS monographs on Theoretical Computer Science. Springer-Verlag, Berlin, 1996.
    • (1996) EATCS monographs on Theoretical Computer Science
    • Jensen, K.1
  • 10
    • 0004068620 scopus 로고
    • Kommunikation mit Automaten
    • Ph. D. Thesis. University of Bonn
    • Petri, Carl A. "Kommunikation mit Automaten". Ph. D. Thesis. University of Bonn. 1962
    • (1962)
    • Petri, C.A.1
  • 11
    • 34548825269 scopus 로고    scopus 로고
    • An Algebraic Algorithm for Structural Validation of Social Protocols
    • Proceedings of the 10th Int. Conference on Business Information Systems, Springer, pp
    • W. Picard, "An Algebraic Algorithm for Structural Validation of Social Protocols", Proceedings of the 10th Int. Conference on Business Information Systems, Lecture Notes in Computer Science, 4439, Springer, pp. 570-583, 2007.
    • (2007) Lecture Notes in Computer Science , vol.4439 , pp. 570-583
    • Picard, W.1
  • 14
    • 84878374918 scopus 로고    scopus 로고
    • accessed on March 2008
    • Wordpress.com, http://www.wordpress.com/, accessed on March 2008.
    • Wordpress.com
  • 15
    • 51149102103 scopus 로고    scopus 로고
    • Web Services Human Task WS-HumanTask, Version 1.0, June 2007, accessed on March 2008
    • Web Services Human Task (WS-HumanTask), Version 1.0, June 2007, https://www.sdn.sap.com/irj/sdn/go/portal/prtroot/docs/library/uuid/ a0c9ce4c-ee02-2a10-4b96-cb205464aa02, accessed on March 2008.


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