Integrating Business Processes and Manufacturing Operations Based on S-BPM and B2MML · Study