Modeling and Verifying Composite Semantic Web Service Based on Colored Petri Nets.
| Autor: | Cheng, Yong-shang, Wang, Zhi-jian, Wang, Cong-ming, Tang, Long-ye, Shang, Ling |
|---|---|
| Zdroj: | Sixth International Conference on Advanced Language Processing & Web Information Technology (ALPIT 2007); 2007, p510-514, 5p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|