Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

7

BPM
2008
Springer

favoriteEmaildiscussreport

112views Business» more BPM 2008»

Covering Places and Transitions in Open Nets

13 years 6 months ago

Covering Places and Transitions in Open Nets

Download www2.informatik.hu-berlin.de

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

Christian Stahl, Karsten Wolf

Real-time Traffic

BPM 2008 | Business | Extended Operating Guideline | Finite Representation | Operating Guidelines |

claim paper

Related Content

» Computing Optimal Coverability Costs in Priced Timed Petri Nets

» Using Place Invariants and Test Point Placement to Isolate Faults in Discrete Event System...

» Minimal Cost ReachabilityCoverability in Priced Timed Petri Nets

» Compositional Modeling of Reactive Systems Using Open Nets

» LanguageBased Comparison of Petri Nets with Black Tokens Pure Names and Ordered Data

» An Axiomatization of the Token Game Based on Petri Algebras

» Factorization Properties of Symbolic Unfoldings of Colored Petri Nets

Post Info
More Details (n/a)

Added	12 Oct 2010
Updated	12 Oct 2010
Type	Conference
Year	2008
Where	BPM
Authors	Christian Stahl, Karsten Wolf

Comments (0)