References

• 2000Loosely coupled interorganizational workflows:279 cited
• 2008Challenges and opportunities in collaborative business process management: Overview of recent advances and introduction to the special issue107 cited
• 2002Modeling workflow processes with colored Petri nets89 cited
• 2017Formal verification of complex business processes based on high-level Petri nets73 cited
• 2013Modeling and Validating E-Commerce Business Process Based on Petri Nets70 cited
• 2017Run-time prediction of business process indicators using evolutionary decision rules69 cited
• 2014Modeling and Verification for Cross-Department Collaborative Business Processes Using Extended Petri Nets68 cited
• 2014Modeling and execution of event stream processing in business processes61 cited
• 2016Towards Correct Cloud Resource Allocation in Business Processes31 cited
• 2011A Model for Dynamic Business Processes and Process Changes15 cited

Cited by

No citing works inside the corpus for this window.