211 search results - page 21 / 43 » Verification of Workflow Nets |
113
click to vote
ENASE
2009
14 years 9 months ago
2009
Abstract. The design of dynamic discrete-event systems calls for adequate modeling formalisms and tools to manage possible changes occurring during system's lifecycle. A commo...
ICWE
2007
Springer
15 years 6 months ago
2007
Springer
The requirements for Web applications concerning workflow execution, interaction, aesthetics, federation and Web service integration are steadily increasing. Considering their comp...
IEAAIE
1995
Springer
15 years 3 months ago
1995
Springer
High level Petri Nets have recently been used for many AI applications, particularly for modelling traditional rule-based expert systems. The major effect is to facilitate the ana...
DAGSTUHL
2006
15 years 1 months ago
2006
Verification and Simulation share many issues, one is that simulation models require validation and verification. In the context of simulation, verification is understood as the ta...
101
click to vote
ICWE
2005
Springer
15 years 5 months ago
2005
Springer
As the Web becomes a platform for implementing complex B2C and B2B applications, there is a need to extend Web conceptual modeling to process-centric applications. In this context,...