Flexible Analysis of Cross-Organizational Process Modeling Based on π Calculus.