From: A verification strategy for web services composition using enhanced stacked automata model
S. No | Number of services | Dead transition | |
---|---|---|---|
Proposed model using Amend Muller substantiation- hybrid automata | Existing model, CWS-PNs methodology used ColoredPetrinet | ||
1 | 16 | 38 | 63 |
2 | 19 | 37 | 63 |
3 | 34 | 35 | 68 |
4 | 40 | 33 | 78 |