An improved verification method for workflow model based on Petri net reduction

2010 2nd IEEE International Conference on Information Management and Engineering ◽

10.1109/icime.2010.5477436 ◽

2010 ◽

Author(s):

Liu Qing-xiu ◽

Cao Bao-xiang ◽

Zhao Yi-wei

Keyword(s):

Petri Net ◽

Workflow Model ◽

Verification Method ◽

Download Full-text

Design and Implementation of Financial Workflow Model Based on the Petri Net

Advances in Intelligent and Soft Computing - Advances in Future Computer and Control Systems ◽

10.1007/978-3-642-29387-0_76 ◽

2012 ◽

pp. 495-500 ◽

Author(s):

JianBang Chen ◽

Lu Han ◽

DaoYing Xiong ◽

Jiao Luo

Keyword(s):

Petri Net ◽

Workflow Model ◽

Design And Implementation ◽

Download Full-text

Research of College's Scientific Research Management Workflow Model Based on Petri Net

2007 International Conference on Management Science and Engineering ◽

10.1109/icmse.2007.4421954 ◽

2007 ◽

Author(s):

Wang Cheng-jun ◽

Xue Li-juan ◽

Yang Liu-di

Keyword(s):

Petri Net ◽

Scientific Research ◽

Research Management ◽

Workflow Model ◽

Download Full-text

A workflow model based on time-extended and hierarchy extended petri net

8th International Conference on Computer Supported Cooperative Work in Design CSCWD-04 ◽

10.1109/cacwd.2004.1349205 ◽

2004 ◽

Author(s):

Bao-Yi Wang ◽

Shao-Min Zhang ◽

Yong-Li Zhu

Keyword(s):

Petri Net ◽

Workflow Model ◽

Download Full-text

Workflow Model Based on Time-Extended and Hierarchy-Extended Petri-Net

2008 International Symposiums on Information Processing ◽

10.1109/isip.2008.26 ◽

2008 ◽

Author(s):

Weihua Niu ◽

Zhuping Yang

Keyword(s):

Petri Net ◽

Workflow Model ◽

Download Full-text

Concurrency and Collision Workflow Model Based on Petri Net in Electric Power Monitoring System

2009 International Conference on Artificial Intelligence and Computational Intelligence ◽

10.1109/aici.2009.158 ◽

2009 ◽

Author(s):

Weicheng Xie ◽

Yi Xie

Keyword(s):

Electric Power ◽

Monitoring System ◽

Petri Net ◽

Workflow Model ◽

Power Monitoring ◽

Download Full-text

A method for soundness verification of workflow model based on Petri net

2009 4th International Conference on Computer Science & Education ◽

10.1109/iccse.2009.5228211 ◽

2009 ◽

Author(s):

Jianliang Wang ◽

Zhiwei Xia ◽

Yanan Ding

Keyword(s):

Petri Net ◽

Workflow Model ◽

Download Full-text

Task net: Transactional workflow model based on colored Petri net

European Journal of Operational Research ◽

10.1016/s0377-2217(01)00026-1 ◽

2002 ◽

Vol 136 (2) ◽

pp. 383-402 ◽

Author(s):

Injun Choi ◽

Chulsoon Park ◽

Changwoo Lee

Keyword(s):

Petri Net ◽

Workflow Model ◽

Colored Petri Net ◽

Download Full-text

MD_WFN: Multi-dimensional workflow model based on Petri-net

2008 12th International Conference on Computer Supported Cooperative Work in Design ◽

10.1109/cscwd.2008.4537053 ◽

2008 ◽

Author(s):

Yang Zhao ◽

Xianqing Yi ◽

Xueshan Luo

Keyword(s):

Petri Net ◽

Workflow Model ◽

Download Full-text

Research on Workflow Model Based on Petri Net with Reset Arcs

Advances in Intelligent Systems and Computing - Fuzzy Information & Engineering and Operations Research & Management ◽

10.1007/978-3-642-38667-1_45 ◽

2013 ◽

pp. 449-456

Author(s):

Chi Zhang ◽

Sakirin Tam ◽

Kai-qing Zhou ◽

Xiao-bo Yue

Keyword(s):

Petri Net ◽

Workflow Model ◽

Download Full-text

Light Controlled Intersection Model Based on the Continuous Petri Net

12th IFAC Symposium on Control in Transportation Systems ◽

10.3182/20090902-3-us-2007.00078 ◽

2009 ◽

Author(s):

Kutil, Michal

Keyword(s):

Petri Net ◽

Model Based ◽

Intersection Model

Download Full-text