211 search results - page 13 / 43 » Verification of Workflow Nets |
BPM
2003
Springer
15 years 2 months ago
2003
Springer
MODELLIERUNG
2008
14 years 11 months ago
2008
FUIN
2008
14 years 9 months ago
2008
Abstract. Most information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails...
WSC
2007
14 years 12 months ago
2007
This article gives an overview of a framework for automatically generating large-scale simulation models from a domain specific problem definition data schema, here semiconductor ...
APSEC
2000
IEEE
15 years 1 months ago
2000
IEEE
Workflow management systems are increasingly used to assist the automation of business processes that involve the exchange of documents, information, or task execution results. Re...