211 search results - page 29 / 43 » Verification of Workflow Nets |
CIIA
2009
14 years 10 months ago
2009
The power of Petri nets resides on the availability of several tools for analysis and verification of properties of systems. Users have to combine the functionality of tools in dif...
ENTCS
2006
14 years 9 months ago
2006
In this paper, we address the issue of the formal verification of real-time systems in the context of a preemptive scheduling policy. We propose an algorithm which computes the st...
DANTE
1999
IEEE
15 years 1 months ago
1999
IEEE
While traditional workflow management systems have proven useful in supporting well-defined organizational processes, they are less suitable for the support of less welldefined, e...
82
Voted
JSS
2011
14 years 3 months ago
2011
Due to the complex nature of scientific workflow environments, temporal violations often take place and may severely reduce the timeliness of the execution’s results. To handle ...
ICSE
2008
IEEE-ACM
15 years 10 months ago
2008
IEEE-ACM
WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from...