211 search results - page 27 / 43 » Verification of Workflow Nets |
FAST
2009
14 years 7 months ago
2009
Provenance capture as applied to execution oriented and interactive workflows is designed to record minute detail needed to support a "modify and restart" paradigm as we...
102
click to vote
APN
2008
Springer
14 years 11 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
ICALP
2000
Springer
15 years 1 months ago
2000
Springer
We study the problem of strong/weak bisimilarity between processes of one-counter automata and finite-state processes. We show that the problem of weak bisimilarity between process...
SIGSOFT
1996
ACM
15 years 1 months ago
1996
ACM
ing Dependencies between Software Configuration Items CARL A. GUNTER University of Pennsylvania icle studies an abstract model of dependencies between software configuration items ...
72
Voted
VVEIS
2007
14 years 10 months ago
2007
Abstract. In industry, many business processes are modelled and stored in Enterprise Information Systems (EIS). Tools supporting the verification and validation of business process...