Journal: IJSPM

Volume 4, Issue 3/4

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

Volume 4, Issue 2

89 -- 105Thierry Moyaux, Brahim Chaib-draa, Sophie D'Amours. Spreadsheet vs. multiagent-based simulations in the study of decision making in supply chains
106 -- 118Peter F. Wanke, Rebecca Arkader, Alexandre M. Rodrigues. A study into the impacts on retail operations performance of key strategic supply chain decisions
119 -- 129William E. Marsh, Raymond R. Hill. An initial agent behaviour modelling and definition methodology as applied to unmanned aerial vehicle simulations
130 -- 138Madjid Tavana. Dynamic process modelling using Petri nets with applications to nuclear power plant emergency management
139 -- 147Salvatore Cannella, Elena Ciancimino, Adolfo Crespo Marquez. Capacity constrained supply chains: a simulation study
148 -- 162Mohamed Khalgui, Emanuele Carpanzano, Hans-Michael Hanisch. An optimised simulation of component-based embedded systems in manufacturing industry

Volume 4, Issue 1

1 -- 6Christos Alexopoulos, Byeong-Yun Chang, David Goldsman, Sungjoo Lee, William S. Marshall. Overcoming negativity problems for Cramer-von Mises variance estimators
7 -- 17Pablo Alvarez-De-Toledo, Adolfo Crespo Marquez, Fernando Nunez, Carlos Usabiaga. Introducing VAR and SVAR predictions in system dynamics models
18 -- 30Xudong Xie, Arun Kumar, Albert Wee Kwan Tan. A simulation-based approach for evaluating diverse inventory policies in a supply chain
31 -- 42H. Zhang, C. M. Tam, J. Y. Wang. An object-oriented approach for modelling and simulation of construction operations
43 -- 53Pablo Cortés, Jesús Muñuzuri, Luis Onieva, José María Carazo. Design and analysis of an object-oriented discrete-event simulation engine for ATM telecommunication networks
54 -- 68Shengping Dong, Bin Hu. Multi-agent based simulation of team effectiveness in team's task process: a member-task interaction perspective
69 -- 87Manuel D. Rossetti. Java Simulation Library (JSL): an open-source object-oriented library for discrete-event simulation in Java