✦ LIBER ✦

Verifying workflow processes: a transformation-based approach

✍ Scribed by Haiping Zha; Wil M. P. van der Aalst; Jianmin Wang; Lijie Wen; Jiaguang Sun

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Applying Petri-net-based reduction appro

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

Radiology information system: a workflow

✍ Jinyan Zhang; Xudong Lu; Hongchao Nie; Zhengxing Huang; W. M. P. van der Aalst 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 436 KB

A novel reduction approach to analyzing

✍ Yunni Xia; Qingsheng Zhu; Yu Huang; Zizhen Wang 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 210 KB

A Workflow Process Mining Algorithm Base

✍ Xing-Qi Huang; Li-Fu Wang; Wen Zhao; Shi-Kun Zhang; Chong-Yi Yuan 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 949 KB

A D-graph based approach for verifying r

✍ G. Cantone; A. Esposito 📂 Article 📅 1989 🏛 Elsevier Science ⚖ 428 KB

A policy-based authorization model for w

✍ Jian Cao; Jinjun Chen; Haiyan Zhao; Minglu Li 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 591 KB