40 search results - page 8 / 8 » Variants of the Language Based Synthesis Problem for Petri N... |
160
click to vote
EDOC
2006
IEEE
15 years 12 months ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
171
Voted
BPM
2006
Springer
15 years 9 months ago
2006
Springer
In various application domains there is a desire to compare process models, e.g., to relate an organization-specific process model to a reference model, to find a web service match...
145
click to vote
DKE
2008
15 years 6 months ago
2008
In various application domains there is a desire to compare process models, e.g., to relate an organization-specific process model to a reference model, to find a web service matc...
144
click to vote
EDBTW
2010
Springer
16 years 20 days ago
2010
Springer
Graph composition has applications in a variety of practical applications. In drug development, for instance, in order to understand possible drug interactions, one has to merge k...
175
click to vote
ASE
2005
15 years 5 months ago
2005
Techniques for efficiently evaluating future time Linear Temporal Logic (abbreviated LTL) formulae on finite execution traces are presented. While the standard models of LTL are i...