✦ LIBER ✦

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

✍ Scribed by Li Xi-zuo; Han Gui-ying; Kim Sun-ho

Publisher: Wuhan University
Year: 2006
Tongue: English
Weight: 706 KB
Volume: 11
Category: Article
ISSN: 1007-1202
DOI: 10.1007/bf02831732

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

A Petri net-based object-oriented approa

A Petri net-based object-oriented approach for the modelling of hybrid productive systems

✍ Emilia Villani; Jean C. Pascal; Paulo E. Miyagi; Robert Valette 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 618 KB

Some aspects of the anemia of chronic di

Some aspects of the anemia of chronic disorders modeled and analyzed by petri net based approach

✍ Dorota Formanowicz; Andrea Sackmann; Adam Kozak; Jacek Błażewicz; Piotr Formanow 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 642 KB

The use of the Petri net reduction appro

The use of the Petri net reduction approach for an optimal deadlock prevention policy for flexible manufacturing systems

✍ Murat Uzam 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 730 KB

Using a Petri-Net-Based Approach for the

Using a Petri-Net-Based Approach for the Real-Time Supervisory Control of an Experimental Manufacturing System

✍ M. Uzam; H. Jones; I. Yücel 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 412 KB

Density functional theory-based electroc

Density functional theory-based electrochemical models for the oxygen reduction reaction: Comparison of modeling approaches for electric field and solvent effects

✍ Kuan-Yu Yeh; Michael J. Janik 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 925 KB

## Abstract A series of density functional theory (DFT) based electrochemical models are applied to systematically examine the effect of solvent, local electric field, and electrode potential on oxygen reduction reaction (ORR) kinetics. Specifically, the key elementary reaction steps of molecular o