Sciweavers

856 search results - page 86 / 172
» Business Process Modelling and Analysis Using Discrete-event...
Sort
View
113
Voted
STTT
1998
130views more  STTT 1998»
15 years 2 months ago
The Practitioner's Guide to Coloured Petri Nets
Abstract. Coloured Petri nets (CP-nets or CPNs) provide a framework for the design, specification, validation, and verification of systems. CP-nets have a wide range of applicati...
Lars Michael Kristensen, Søren Christensen,...
123
Voted
WSC
2008
15 years 5 months ago
Simulation-based verification of lean improvement for emergency room process
One of the key challenges to health care access in Canadian hospitals is growing overcrowding of the Emergency Departments (EDs), leading to the medical personnel overload, and th...
Nancy Khurma, Gheorghe M. Bacioiu, Zbigniew J. Pas...
144
Voted
BPM
2006
Springer
118views Business» more  BPM 2006»
15 years 6 months ago
Faulty EPCs in the SAP Reference Model
Little is known about error probability in enterprise models as they are usually kept private. The SAP reference model is a publically available model that contains more than 600 n...
Jan Mendling, Michael Moser, Gustaf Neumann, H. M....
121
Voted
FMCO
2009
Springer
134views Formal Methods» more  FMCO 2009»
15 years 13 days ago
Verification of Context-Dependent Channel-Based Service Models
Abstract. The paradigms of service-oriented computing and modeldriven development are becoming of increasing importance in the field of software engineering. According to these par...
Natallia Kokash, Christian Krause, Erik P. de Vink
127
Voted
AIM
2006
15 years 4 months ago
Observing the use of BPM tools: A step towards flexibility
: The development of the tools of Business Process Management (BPM) arises from the spread of the notion of process in the management universe. The application of BPM to strategic ...
Joseph Heili, Jean-Mathias Heraud, Laure France