𝔖 Bobbio Scriptorium

✦ LIBER ✦

Unified modelling and analysis of collaboration business process based on Petri nets and Pi calculus

✍ Scribed by Zhang, L.; Lu, Y.; Xu, F.

Book ID: 114444990
Publisher: The Institution of Engineering and Technology
Year: 2010
Tongue: English
Weight: 745 KB
Volume: 4
Category: Article
ISSN: 1751-8806
DOI: 10.1049/iet-sen.2008.0062

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Petri net-based workflow modelling and a

Petri net-based workflow modelling and analysis of the integrated manufacturing business processes

✍ Ming Dong; F. Frank Chen 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 971 KB

The reduction and deadlock detection of

The reduction and deadlock detection of cross-organizational business process based on Pi-calculus

✍ Xin Ye; Xinghua Bing; Chao Zuo 📂 Article 📅 2011 🏛 Elsevier 🌐 English ⚖ 437 KB

Construction and performance analysis of

Construction and performance analysis of a Petri net model based on a functional model in a CIM system

✍ Kichang Lee; Hanil Jeong; Chankwon Park; Jinwoo Park 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 402 KB

[IEEE 2010 2nd International Conference

[IEEE 2010 2nd International Conference on Information Science and Engineering (ICISE) - Hangzhou, China (2010.12.4-2010.12.6)] The 2nd International Conference on Information Science and Engineering - Modeling and optimization of Web service process based on Petri net

✍ Wulanmu, Aziguli; Tian Bei, ; Zhang Dezheng, 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 282 KB

[IEEE IEEE International Conference on S

[IEEE IEEE International Conference on Systems, Man, and Cybernetics - Nashville, TN, USA (8-11 Oct. 2000)] SMC 2000 Conference Proceedings. 2000 IEEE International Conference on Systems, Man and Cybernetics. 'Cybernetics Evolving to Systems, Humans, Organizations, and their Complex Interactions' (Cat. No.00CH37166) - Petri-net-based business process modeling for virtual enterprises

✍ Hongmei Gou, ; Biqing Huang, ; Wenhuang Liu, ; Shouju Ren, ; Yu Li, 📂 Article 📅 2000 🏛 IEEE 🌐 English ⚖ 541 KB

[IEEE Eighth International Symposium on

[IEEE Eighth International Symposium on Autonomous Decentralized Systems (ISADS'07) - Sedona, AZ, USA (2007.03.21-2007.03.23)] Eighth International Symposium on Autonomous Decentralized Systems (ISADS'07) - The modeling and Analysis of Data Communication System (DCS) in Communication Based Train Control (CBTC) with Colored Petri Nets

✍ Xu, Tianhua; Tang, Tao 📂 Article 📅 2007 🏛 IEEE 🌐 English ⚖ 401 KB