856 search results - page 8 / 172 » Business Process Modelling and Analysis Using Discrete-event... |
ICFEM
2009
Springer
14 years 8 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...
WSC
1998
15 years 13 days 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...
WSC
2007
15 years 1 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...
77
Voted
WSC
2004
15 years 14 days 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...
83
Voted
JUCS
2007
14 years 11 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...