Sciweavers

BPM
2008
Springer
112views Business» more  BPM 2008»
14 years 1 months ago
Covering Places and Transitions in Open Nets
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 d...
Christian Stahl, Karsten Wolf