The following pages link to BPEL2PN (Q19017):
Displaying 13 items.
- A formal model for service-oriented interactions (Q436383) (← links)
- Monitoring and recovery for web service applications (Q488218) (← links)
- A WSDL-based type system for asynchronous WS-BPEL processes (Q537948) (← links)
- Soundness of workflow nets: classification, decidability, and analysis (Q539433) (← links)
- Question-guided stubborn set methods for state properties (Q862861) (← links)
- Can I find a partner? Undecidability of partner existence for open nets (Q975497) (← links)
- Component simulation-based substitutivity managing QoS and composition issues (Q988175) (← links)
- Formal semantics and analysis of control flow in WS-BPEL (Q997228) (← links)
- A Rigorous Model of Service Component Architecture (Q2873686) (← links)
- Software Engineering with Petri Nets: A Web Service and Agent Perspective (Q3452472) (← links)
- Web Cube (Q3613060) (← links)
- Does My Service Have Partners? (Q3623824) (← links)
- A Calculus for Orchestration of Web Services (Q5756484) (← links)
