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 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. Key words: process modeling and analysis, SOA, Petri nets, operating guidelines

• Type: Conference
• Year: 2008
• Where: BPM
• Authors: Christian Stahl, Karsten Wolf
• Keywords: BPM 2008, Business, Extended Operating Guideline, Finite Representation, Operating Guidelines