工作流网系统合理性的语言特性

doi:10.3969/j.issn.0255-8297.2011.01.011

Journal of Applied Sciences ›› 2011, Vol. 29 ›› Issue (1): 61-65.doi: 10.3969/j.issn.0255-8297.2011.01.011

• Computer Science and Applications • Previous Articles Next Articles

Language Properties for Rationality of Workflow Net System

YAN Chun-gang1;2, JIANG Chang-jun1;2, DING Zhi-jun1;2, SUN Ping1;2

1. School of Electronics and Information Engineering, Tongji University, Shanghai 201804, China
2. The　Key　Laboratory　of　Embedded　System　and　Service　Computing Ministry　of　Education, Tongji　University,　Shanghai　201804, China

Received:2010-07-01 Revised:2010-11-24 Online:2011-01-26 Published:2011-01-24

Abstract

Abstract:

Soundness of workflow system is a fundamental requirement in formalizing transaction processing flow. Most current researches convert soundness of workflow net (WF-net) system to liveness and boundedness of its extended workflow net system. The soundness property is studied in this paper from the language viewpoint of the workflow net system. Net language depiction for soundness is presented to reveal the behavior
characteristic of this basic property. Furthermore, synchronous composition and combined composition of the workflow net system is studied. Necessary and sufficient conditions are given for soundness preservation of the two composition systems. This study provides a novel approach to the modeling and analysis for composition in complex WF-net systems.

Key words: Petri net, WF-net system, language, soundness

CLC Number:

TN311

YAN Chun-gang1;2, JIANG Chang-jun1;2, DING Zhi-jun1;2, SUN Ping1;2. Language Properties for Rationality of Workflow Net System[J]. Journal of Applied Sciences, 2011, 29(1): 61-65.

[1]	OUYANG Zhiyou, CHEN Chen, WANG Yuqian, CHEN Jingang, YIN Zhao, ZHOU Qingsong. Protein Small Molecule Affinity Prediction Based on Natural Language Processing [J]. Journal of Applied Sciences, 2019, 37(3): 327-335.
[2]	WANG Long1,2, YANG Jun-an1,2, CHEN Lei1,2, LIN Wei3, LIU Hui1,2. Parallel Optimization of Chinese Language Model Based on Recurrent Neural Network [J]. Journal of Applied Sciences, 2015, 33(3): 253-261.
[3]	JIAO He-jun1,3,4, ZHANG Jing1, LI Jun-huai1, SHI Jin-fa2, LI Jian3. Cloud Workflow Model for Collaborative Design Based on Hybrid Petri Net [J]. Journal of Applied Sciences, 2014, 32(6): 645-651.
[4]	LI Sheng-chang1, SONG A-ni2, WANG Ming-zhe1. Modeling and Behavior Analysis of Hybrid System Using Timed Hierarchical CPN [J]. Journal of Applied Sciences, 2014, 32(3): 293-300.
[5]	YANG Huai-zhou, WANG Xue-long. Extended GSPN and Reduction Rules for Web Services Composition System [J]. Journal of Applied Sciences, 2013, 31(6): 633-642.
[6]	FANG Huan1;2, LU Yang1;3, GE Fang-zhen1, HUANG Zhen-jin1. Performance Evaluation for Complex Queueing System under Exhaustive-Service Policies Based on Petri Nets [J]. Journal of Applied Sciences, 2012, 30(4): 379-386.
[7]	YAN Chun-gang1;2, WANG Ming-xin1;2, LIU Guan-jun1;2. Relationship between Process Expression and Liveness of Bounded Petri Nets [J]. Journal of Applied Sciences, 2012, 30(4): 387-390.
[8]	ZHAO Ming-feng1;2, ZHOU Ya-jian2, REN Dong-xiao1, YANG Yi-xian1;2. Modeling and Analysis of Survivability of IP Multimedia Subsystem Based on SPN [J]. Journal of Applied Sciences, 2012, 30(3): 239-244.
[9]	FANG Zhe-mei, WANG Ming-zhe, YANG Cui-rong. Platform Framework of Complex Hybrid System Simulation Based on Colored Petri Nets [J]. Journal of Applied Sciences, 2011, 29(1): 105-110.
[10]	YANG Cui-rong, WANG Ming-zhe, LIAO Jing-jing. Analysis of Key Events in Complex Systems Using Influence Nets [J]. Journal of Applied Sciences, 2010, 28(6): 639-645.
[11]	LIAO Jing-jing, WANG Ming-zhe. Eigenvalues of Incidence Matrices Applied to the Analysis of Petri Net Structures [J]. Journal of Applied Sciences, 2010, 28(4): 417-423.
[12]	QI Chao;ZHANG Jing;HE Ju-hou. Implementation of Globus Resource Management Model Based on Service Level Agreement [J]. Journal of Applied Sciences, 2008, 26(5): 531-535 .
[13]	ZHU Xiao-dong;HUANG Zhi-qiu;CHEN Sheng-qing;HUANG Feng;SHEN Guo-hua. Algorithm Management Framework for Data Stream Mining [J]. Journal of Applied Sciences, 2008, 26(1): 61-61 .
[14]	TANG Xinxiang;MIAO HuaiKou. Generation of MDA-based Fuzzy Ontology [J]. Journal of Applied Sciences, 2007, 25(5): 541-541 .
[15]	YU Li, XU Hong-bing, OU-yang Qian. A Map Query Implementation Based on Mobile Equipment [J]. Journal of Applied Sciences, 2005, 23(5): 502-505.

Language Properties for Rationality of Workflow Net System

PDF

Knowledge

Cited

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

Comments