856 search results - page 8 / 172 » Business Process Modelling and Analysis Using Discrete-event... |
95
Voted
ICFEM
2009
Springer
14 years 7 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
66
Voted
WSC
1998
14 years 11 months ago
1998
A model is proposed which identifies factors associated with the adoption of discrete event simulation and places them within an explanatory framework. The model proposes four mai...
69
Voted
WSC
2007
14 years 12 months ago
2007
Clinical trials constitute large, complex, and resource intensive activities for pharmaceutical companies. Accurate prediction of patient enrollment would represent a major step f...
WSC
2004
14 years 11 months ago
2004
For newly designed or transformed business processes, accurately predicting business performances such as costs and customer services before actual deployment is very important. W...
JUCS
2007
14 years 9 months ago
2007
: This paper describes a method of using Petri net P-invariants in system diagnosis. To model this process a net oriented fault classification is presented. Hence, the considered d...