✦ LIBER ✦

Approach for workflow modeling using π-calculus

✍ Scribed by Yang Dong; Zhang Shen-sheng

Publisher: SP Zhejiang University Press
Year: 2003
Tongue: English
Weight: 683 KB
Volume: 4
Category: Article
ISSN: 1009-3095
DOI: 10.1007/bf02851604

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A logical encoding of the π-calculus: mo

A logical encoding of the π-calculus: model checking mobile processes using tabled resolution

✍ Ping Yang; C.R. Ramakrishnan; Scott A. Smolka 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 573 KB

Modeling and scheduling for manufacturin

Modeling and scheduling for manufacturing grid workflows using timed Petri nets

✍ Hesuan Hu; Zhiwu Li 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 510 KB

Applying Petri-net-based reduction appro

Applying Petri-net-based reduction approach for verifying the correctness of workflow models

✍ Li Xi-zuo; Han Gui-ying; Kim Sun-ho 📂 Article 📅 2006 🏛 Wuhan University 🌐 English ⚖ 706 KB

An alternative approach to stochastic ca

An alternative approach to stochastic calculus for economic and financial models

✍ L.P. Blenman; R.S. Cantrell; R.E. Fennell; D.F. Parker; J.A. Reneke; L.F.S. Wang 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 961 KB

Compact modeling approach using genetic

Compact modeling approach using genetic algorithms for accurate thermal simulation

✍ Koji Koyamada; Yasuharu Yamada; Toshihiko Nishio; Hidetoshi Kotera 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 193 KB

An Approach for Adaptability Modeling in

An Approach for Adaptability Modeling in Manufacturing –Analysis Using Chaotic Dynamics

✍ N. Papakostas; D. Mourtzis 📂 Article 📅 2007 🏛 International Academy for Production Engineering 🌐 English ⚖ 215 KB

In this paper, a novel approach for modeling the adaptability of a manufacturing system is introduced. A mathematical model for quantifying the adaptability of a manufacturing system is discussed and real manufacturing data are used for its evaluation. A set of tools, including maximal Lyapunov expo