Papers from the 4th International Workshop on Enterprise and Organisational Modelling and Simulation held in Montpellier, France, 16-17 June 2008.
- Automatic verification of business process integrity
- Formal modelling and discrete-time analysis of BPEL web services
- Formalisation and verification of interaction protocols for business process integration: a Petri net approach
- Modelling and simulation of complex workflow processes using multi-level Petri nets
- Dynamic simulation modelling using descriptive information in natural language
- Developing a software process simulation model using SPEM and analytical models
- SIMONE: A Simulator for Interruptions and Message Overload in Network Environments
- Challenges in collaborative modelling: a literature review and research agenda
- Use cases and personas: uses in service sector simulation development
- Embedding simulation education into the engineering management body of knowledge
- Learning to build network-oriented epidemic simulation models in epidemiology education
No comments:
Post a Comment