1. Workflow patterns;Aalst;Distrib. Parallel Databases,2003
2. Modeling and analysis of workflows using petri nets;Adam;J. Intell. Inf. Syst.,1998
3. A formal basis for architectural connection;Allen;ACM TOSEM,1997
4. R. Amici, F. Corradini, and E. Merelli. A process algebra view of coordination models with a case study in computational system biology. In L. Bocchi and P. Ciancarini, editors, Proceedings of the First International Workshop on Petri Nets and Coordination (PNC04), Satellite Event of the 25th International Conference on Application and Theory of Petri Nets, Bologna, Italy, June 21, 2004, pages 33–47, 2004
5. Reo: a channel–based coordination model for component composition;Arbab;Mathematical Structures in Comp. Sci.,2004