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

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.

Add to citation manager EndNote|Reference Manager|ProCite|BibTeX|RefWorks

URL: https://www.jas.shu.edu.cn/EN/10.3969/j.issn.0255-8297.2011.01.011

https://www.jas.shu.edu.cn/EN/Y2011/V29/I1/61

[1]	LIU Hui, ZHANG Zhi, CHEN Yupeng. Entity Relationship Extraction Method Based on Bidirectional Decoding [J]. Journal of Applied Sciences, 2025, 43(3): 491-503.
[2]	SONG Yimin, LIU Gongshen. AIGC Users Traceability Technology Based on Text Watermarking [J]. Journal of Applied Sciences, 2025, 43(3): 361-369.
[3]	WEI Wei, JIN Chenggong, YANG Long, ZHOU Mo, MENG Xiangzhu, FENG Hui. Entity Relationship Extraction Framework Based on Pre-trained Large Language Model and Its Application [J]. Journal of Applied Sciences, 2025, 43(1): 20-34.
[4]	JI Wenlu, DENG Xing, ZHU Hongqin, ZHAO Yang, JIANG Jielin. Fault Analysis and Retrieval of Message Based on Knowledge Graph [J]. Journal of Applied Sciences, 2023, 41(3): 378-390.
[5]	LU Weihong, DING Zhijun. Place Bound Algorithm of Petri Net Based on Partial State Space Storage [J]. Journal of Applied Sciences, 2020, 38(5): 695-712.
[6]	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.
[7]	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.
[8]	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.
[9]	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.
[10]	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.
[11]	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.
[12]	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.
[13]	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.
[14]	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.
[15]	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.

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