IBM has been a long-supporter of BPEL, and numerous IBM products support BPEL as well.

http://www-306.ibm.com/software/integration/wps/
WebSphere Process Server helps deliver an SOA infrastructure that provides one common model to orchestrate, mediate, connect, map, and execute the underlying IT functions. With this, WebSphere Process Server simplifies integration of business processes by leveraging existing IT assets as reusable services, but without the complexities associated with traditional integration methodologies.

JBoss jBPM is a framework that delivers workflow, business process management (BPM), and orchestration in a scalable and flexible product. It enables enterprises to model and automate business processes that involve people, applications, and services.

The distinctive sign of JBoss jBPM is the power of choice it gives to analysts and developers. A generic process execution platform lies at the core of the product. Multiple process definition languages are built on top: BPEL, jPDL and Pageflow. Each comes with a unique feature set.

Sonic BPEL Server, a member of the Sonic ESB
Product Family, adds standards-based service orchestration to the intelligent
routing capabilities of Sonic ESB. Through a drag-and-drop GUI in Sonic’s
Eclipse-based Workbench, Sonic BPEL Server improves developer productivity by
enabling service composition and event correlation with minimal programming.
With patent-pending distributed debugging technology, Sonic makes it easy to
develop, test and deploy any combination of BPEL, intelligent routing, and
integration services.

ActiveVOS (www.activevos.com) is an all-in-one, standards-based business process management system (BPMS) used by enterprises around the globe for developing a new generation of process applications.

ActiveVOS is a model-based system in which BPMN 2.0 process models are easy to design and change. When deployed, ActiveVOS executes BPMN models directly on a proven, high-performance BPEL engine. (See a screenshot tour of the ActiveVOS BPMN modeler.)

ActiveVOS provides a broad range of capabilities for everyone on the team:

Cape Clear 7.5 ESB has everything you need in one box to rapidly deploy datacenter-class services, processes and integrations. These can be entirely internal to your company, or can span multiple firewall boundaries to and from your business partners and SaaS providers.The central development metaphor in the Cape Clear ESB is that of the SOA assembly.