WfDR: WorkFlow Diagnosis&Remedy system

WfDR: WorkFlow Diagnosis&Remedy system [Yamaguchi Univ.|Fac. of Engineering|Dept. of Computer Science & Systems Engineering] Last updated:

WfDR: WorkFlow Diagnosis & Remedy system (ワークフロー診断治療システム)

WfDR (WorkFlow Diagnosis & Remedy system) is a system to diagnose and remedy workflows. Workflows are business processes that allow for computerized support. In WfDR, workflows are specified in terms of Petri nets. A Petri net which represents a workflow definition is called a workflow net, WF-net for short. WfDR is composed of several modules: WfEditor, WfAnalyzer, and WfSimulator.

WfDR (WorkFlow Diagnosis & Remedy system; ワークフロー診断治療システム)はワークフローを診断し、治療するシステムです。WfDRにおいて、ワークフローはペトリネットの形式で記述されます。ワークフローをモデル化するためのペトリネットはワークフローネット(WF-net)と呼ばれます。WfDRは WfEditor, WfAnalyzer, and WfSimulatorというツールからなります。

WfEditor: WF-net editor

TOP

WfEditor is a graphical editor that generates workflow defintion specified in terms of WF-nets.

Run WfEditor on Web Browser (JDK/JRE 1.3.1 or later required.)
Download the archive of WfEditor ()

WfAnalyzer: WF-net analyzer

TOP

WfAnalyzer is a tool that analyzes workflow defintion specified in terms of WF-nets.

Download the archive of WfAnalyzer (PNAnalyzer ver.2.0.3) (2006/01/25)

WF-net schemas

TOP

WF-net schemas determine the legal concrete file format for worfklow nets. The WF-net schemas are based on Petri Net Type Definition (PNTD).

WF-net files

TOP

Timed WF-nets

Marked Graph WF-nets (270 nets)
(Refer to (i) A.Mishima, S.Yamaguchi, Q.W.Ge, M.Tanaka: Evaluation method of change time for Migrate dynamic workflow changes, Thamsat International Journal of Science and Technology, Vol.7,No.3,pp.58-69, 2003; (ii) S.Yamaguchi, A.Mishima, Q.W.Ge, M.Tanaka: Modeling and performance evaluation on change time for Migrate dynamic workflow changes, IEICE Transactions, vol.E86-A, no.6, pp.1466-1475, 2003.)
State Machine WF-nets (270 nets)
(converted from the above MGWF-nets.)

Timed WF-nets with resources

Wf Name	Wf Type	Net Class	Reference
Bank loan 銀行融資	Production	Res-MGWF-net	The Institute of Electrical Engineers of Japan: Practice of Workflow, JUSE PRESS, pp.78-89, 1999 (in Jap.).
Damage assessment 自動車保険の損害査定	Production	Res-MGWF-net	The Institute of Electrical Engineers of Japan: Practice of Workflow, JUSE PRESS, pp.66-77, 1999 (in Jap.).
***** 給与支払い	Administrative	Res-MGWF-net
***** LPガス小売業保安サービス	Collaborative	Res-MGWF-net	The Institute of Electrical Engineers of Japan: Practice of Workflow, JUSE PRESS, pp.217-230, 1999 (in Jap.).
***** 資材調達者選定及び調達	Collaborative	Res-MGWF-net	The Institute of Electrical Engineers of Japan: Practice of Workflow, JUSE PRESS, pp.183-200, 1999 (in Jap.).
****** 小口金清算	Administrative	Res-SMWF-net	The Institute of Electrical Engineers of Japan: Practice of Workflow, JUSE PRESS, pp.127-140, 1999 (in Jap.).
Configuartion management テトラポット型枠配転管理	Collaborative	CF-Res-SMWF-net	The Institute of Electrical Engineers of Japan: Practice of Workflow, JUSE PRESS, 169-182, 1999 (in Jap.).
****** 生命保険保全	Production	CF-Res-SMWF-net	The Institute of Electrical Engineers of Japan: Practice of Workflow, JUSE PRESS, pp.23-35, 1999 (in Jap.).
***** 物品購入	Administraive	CF-Res-SMWF-net	The Institute of Electrical Engineers of Japan: Practice of Workflow, JUSE PRESS, p.2, 1999 (in Jap.).
***** クレジットカード発行	Production	CF-Res-WSWF-net	The Institute of Electrical Engineers of Japan: Practice of Workflow, JUSE PRESS, pp.98-111, 1999 (in Jap.).

For more information and comments about this web page, please e-mail to shingo@yamaguchi-u.ac.jp.