✦ LIBER ✦

A colored Petri net-based model for web service composition

✍ Scribed by Zhao-li Zhang; Fan Hong; Hai-jun Xiao

Publisher: Chinese Electronic Periodical Services
Year: 2008
Tongue: English
Weight: 302 KB
Volume: 12
Category: Article
ISSN: 1007-6417
DOI: 10.1007/s11741-008-0409-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Web-based interfaces for simulation of c

Web-based interfaces for simulation of coloured Petri net models

✍ Bo Lindstrom 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 389 KB

Real-time control software for transacti

Real-time control software for transaction processing based on colored safe Petri Net model

✍ Tomohiro Murata; Norihisa Komoda 📂 Article 📅 1990 🏛 Springer US 🌐 English ⚖ 559 KB

A Petri Net-based real-time control software system for transaction processing is proposed to improve flexibility and maintainability in real-time application software. This software system is named Station Controller (SCR). Transaction processing control programs can be understandably described usi

A verifiable low-level concurrent progra

A verifiable low-level concurrent programming model based on colored Petri nets

✍ ShengYuan Wang; Yuan Dong 📂 Article 📅 2011 🏛 Science in China Press (SCP) 🌐 English ⚖ 416 KB

Synthesis a Petri net based control mode

Synthesis a Petri net based control model for a FMS cell

✍ Ali A. Pouyan; Heydar Toossian Shandiz; Soheil Arastehfar 📂 Article 📅 2011 🏛 Elsevier Science 🌐 English ⚖ 632 KB

A Petri net-based approach for supportin

A Petri net-based approach for supporting aspect-oriented modeling

✍ Guan, Lianwei ;Li, Xingyu ;Hu, Hao ;Lu, Jian 📂 Article 📅 2008 🏛 Higher Education Press and Springer 🌐 English ⚖ 307 KB

A formal model for BPEL4WS description o

A formal model for BPEL4WS description of Web service composition

✍ Gu Xiwu; Lu Zhengding 📂 Article 📅 2006 🏛 Wuhan University 🌐 English ⚖ 808 KB