| 167 | -- | 182 | Manuel I. Capel Tuñón, Luis E. Mendoza Morales, Kawtar Benghazi Akhlaki. Automatic verification of business process integrity |
| 183 | -- | 194 | Radu Mateescu, Sylvain Rampacek. Formal modelling and discrete-time analysis of BPEL web services |
| 195 | -- | 204 | Djamel Benmerzoug, Fabrice Kordon, Mahmoud Boufaïda. Formalisation and verification of interaction protocols for business process integration: a Petri net approach |
| 205 | -- | 214 | Marina Flores-Badillo, Ernesto López-Mellado, Mayra Padilla-Duarte. Modelling and simulation of complex workflow processes using multi-level Petri nets |
| 215 | -- | 222 | Yutaka Takahashi. Dynamic simulation modelling using descriptive information in natural language |
| 223 | -- | 236 | Seunghun Park, Hyeonjeong Kim, Dongwon Kang, Doo-Hwan Bae. Developing a software process simulation model using SPEM and analytical models |
| 237 | -- | 247 | Ashish Gupta 0004, Ramesh Sharda. SIMONE: A Simulator for Interruptions and Message Overload in Network Environments |
| 248 | -- | 263 | Michiel Renger, Gwendolyn L. Kolfschoten, Gert-Jan de Vreede. Challenges in collaborative modelling: a literature review and research agenda |
| 264 | -- | 279 | Roger McHaney. Use cases and personas: uses in service sector simulation development |