Local Enforceability in Interaction Petri Nets-Reference-Cited by-同舟云学术

Local Enforceability in Interaction Petri Nets

Published: Issue: Volume: Page:305-319
ISSN:
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Decker Gero,Weske Mathias

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-75183-0_22.pdf

Reference20 articles.

1. Business Process Modeling Notation (BPMN) Specification, Final Adopted Specification. Technical report, Object Management Group (OMG) (February 2006), http://www.bpmn.org/

2. Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business Process Execution Language for Web Services, version 1.1. Technical report, OASIS (May 2003), http://www-106.ibm.com/developerworks/webservices/library/ws-bpel

3. Lecture Notes in Computer Science;M. Baldoni,2006

4. Lecture Notes in Computer Science;N. Busi,2005

5. Carbone, M., Honda, K., Yoshida, N.: Structured communication-centred programming for web services. In: Proceedings 16th European Symposium on Programming (ESOP) as part of the European Joint Conferences on Software Theory and Practice (ETAPS), Braga, Portugal (March 2007)

Cited by 53 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Petri Net Classes for Collaboration Mining: Assessment and Design Guidelines;Lecture Notes in Business Information Processing;2024

2. Interpreted and Confidential Execution of Process Choreographies on a Blockchain;Lecture Notes in Business Information Processing;2024

3. Glocal Conformance Checking;Lecture Notes in Computer Science;2024

4. A Complex Behavioral Interaction Analysis Method for Microservice Systems With Bounded Buffers;IEEE Transactions on Cloud Computing;2023-10

5. Execution Semantics for Process Choreographies with Data;Lecture Notes in Business Information Processing;2023