SCOPUS 정보 검색 플랫폼

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5387, Issue , 2009, Pages 73-87

Efficient controllability analysis of open nets

(1) Weinberg, Daniela a

a HUMBOLDT UNIVERSITY (Germany)

Author keywords

Business process analysis; Formal models in business process management; Petri nets; Process verification and validation

Indexed keywords

BUSINESS PROCESS ANALYSIS; CONTROLLABILITY ANALYSIS; DESIGN TIME; FORMAL MODELS IN BUSINESS PROCESS MANAGEMENT; INTER-ACTION PROTOCOLS; INTERACTION BEHAVIOR; INTERACTION GRAPHS; PARTNER SERVICES; PROCESS VERIFICATION AND VALIDATION; REDUCTION RULES; SERVICE INTERACTION; STATE EXPLOSION;

DATA STRUCTURES; ENTERPRISE RESOURCE MANAGEMENT; GRAPH THEORY; INTERNET PROTOCOLS; PETRI NETS; WEB SERVICES;

FORMAL METHODS;

EID: 67649985689 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: 10.1007/978-3-642-01364-5_5 Document Type: Conference Paper

Times cited : (8)

References (15)

1
- 34848877609
- Pearson - Prentice Hall, Essex
- Papazoglou, M.: Web Services: Principles and Technology. Pearson - Prentice Hall, Essex (2007)
- (2007) Web Services: Principles and Technology
- Papazoglou, M.¹

2
- 41649087956
- Web Services Business Process Execution Language Version 2.0
- OASIS
- Alves, A., et al.: Web Services Business Process Execution Language Version 2.0. Technical report, OASIS (2007)
- (2007) Technical report
- Alves, A.¹

3
- 24644509903
- Analyzing Web service based business processes
- Fundamental Approaches to Software Engineering - 8th International Conference, FASE 2005, held as part of the Joint Conferences on Theory and Practice of Software, ETAPS 2005, Proceedings
- Martens, A.: AnalyzingWeb Service Based Business Processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 19-33. Springer, Heidelberg (2005) (Pubitemid 41273668)
- (2005) Lecture Notes in Computer Science , vol.3442 , pp. 19-33
- Martens, A.¹

4
- 33750030848
- An Operating Guideline Approach to the SOA
- Massuthe, P., Reisig, W., Schmidt, K.: An Operating Guideline Approach to the SOA. AMCT 1(3), 35-43 (2005)
- (2005) AMCT , vol.1 , Issue.3 , pp. 35-43
- Massuthe, P.¹ Reisig, W.² Schmidt, K.³

5
- 36048985980
- Analyzing interacting WS-BPEL processes using flexible model generation
- DOI 10.1016/j.datak.2007.06.006, PII S0169023X07001188, Fourth International Conference on Business Process Management (BPM 2006) Four selected and extended papers
- Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing interacting WSBPEL processes using flexible model generation. DKE 64(1), 38-54 (2008) (Pubitemid 350087283)
- (2008) Data and Knowledge Engineering , vol.64 , Issue.1 , pp. 38-54
- Lohmann, N.¹ Massuthe, P.² Stahl, C.³ Weinberg, D.⁴

6
- 0040880105
- Theory of Regions
- Lectures on Petri Nets I: Basic Models. Advances in Petri Nets
- Badouel, E., Darondeau, P.: Theory of Regions. In: Lectures on Petri Nets I: Basic Models. LNCS, vol. 1491, pp. 529-586. Springer, Heidelberg (1998) (Pubitemid 128165820)
- (1998) LECTURE NOTES IN COMPUTER SCIENCE , Issue.1491 , pp. 529-586
- Badouel, E.¹ Darondeau, P.²

7
- 33749986269
- Analyzing interacting BPEL processes
- Business Process Management - 4th International Conference, BPM 2006, Proceedings
- Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing Interacting BPEL Processes. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 17-32. Springer, Heidelberg (2006) (Pubitemid 44568316)
- (2006) Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) , vol.4102 , pp. 17-32
- Lohmann, N.¹ Massuthe, P.² Stahl, C.³ Weinberg, D.⁴

8
- 67649960419
- Petri Nets
- Springer, Heidelberg
- Reisig, W.: Petri Nets. EATCS monographs on theoretical computer science edn. Springer, Heidelberg (1985)
- (1985) EATCS monographs on theoretical computer science edn
- Reisig, W.¹

9
- 35448948064
- Operating Guidelines for Finite-State Services
- Springer, Heidelberg
- Lohmann, N., Massuthe, P., Wolf, K.: Operating Guidelines for Finite-State Services. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 321-341. Springer, Heidelberg (2007)
- (2007) Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS , vol.4546 , pp. 321-341
- Lohmann, N.¹ Massuthe, P.² Wolf, K.³

10
- 0002719897
- The application of Petri nets to workflow management
- Aalst, W.: The Application of Petri Nets to Workflow Management. Journal of Circuits, Systems and Computers 8(1), 21-66 (1998) (Pubitemid 128540249)
- (1998) Journal of Circuits, Systems and Computers , vol.8 , Issue.1 , pp. 21-66
- Van Der Aalst, W.M.P.¹

11
- 33750007492
- Reduction Rules for Interaction Graphs
- Berlin
- Weinberg, D.: Reduction Rules for Interaction Graphs. Technical Report 198, Humboldt-Universität zu Berlin (2006)
- (2006) Technical Report 198, Humboldt-Universität zu
- Weinberg, D.¹

12
- 33749999603
- Controllability of OpenWorkflow Nets
- Bonner Köllen Verlag
- Schmidt, K.: Controllability of OpenWorkflow Nets. In: EMISA. LNI, pp. 236-249. Bonner Köllen Verlag (2005)
- (2005) EMISA. LNI , pp. 236-249
- Schmidt, K.¹

13
- 67649978938
- Can I find a partner? Inf
- (accepted)
- Massuthe, P., Serebrenik, A., Sidorova, N., Wolf, K.: Can I find a partner? Inf. Process. Lett. (2008) (accepted)
- (2008) Process. Lett
- Massuthe, P.¹ Serebrenik, A.² Sidorova, N.³ Wolf, K.⁴

14
- 84958954224
- Stubborn sets for standard properties
- Springer, Heidelberg
- Schmidt, K.: Stubborn sets for standard properties. In: ICATPN 1999. LNCS, vol. 1639, pp. 46-65. Springer, Heidelberg (1999)
- (1999) ICATPN 1999. LNCS , vol.1639 , pp. 46-65
- Schmidt, K.¹

15
- 0001176166
- A stubborn attack on state explosion
- Valmari, A.: A stubborn attack on state explosion. Formal Methods in System Design 1(4), 297-322 (1992)
- (1992) Formal Methods in System Design , vol.1 , Issue.4 , pp. 297-322
- Valmari, A.¹

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