id: 05359067
dt: a
an: 05359067
au: Stahl, Christian; Wolf, Karsten
ti: Covering places and transitions in open nets.
so: Dumas, Marlon (ed.) et al., Business process management. 6th international
    conference, BPM 2008, Milan, Italy, September 2‒4, 2008. Proceedings.
    Berlin: Springer (ISBN 978-3-540-85757-0/pbk). Lecture Notes in
    Computer Science 5240, 116-131 (2008).
py: 2008
pu: Berlin: Springer
la: EN
cc: 
ut: process modeling and analysis; SOA; Petri nets; operating guidelines
ci: 
li: doi:10.1007/978-3-540-85758-7_11
ab: Summary: 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$.
rv: