2008 | OriginalPaper | Chapter
Covering Places and Transitions in Open Nets
Authors : Christian Stahl, Karsten Wolf
Published in: Business Process Management
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
We present a finite representation of all services
M
where the composition with a given service
N
is deadlock-free, and a given set of activities of
N
can be
covered
(i.e. is not dead). Our representation is an extension of the existing notion of an operating guideline which only cared about deadlock freedom. We further present an algorithm to decide whether a service
M
matches with the extended operating guideline of
N
.