Qualitative Analysis of WorkFlow nets using Linear Logic: Soundness Verification

被引：13
|
作者：
Soares Passos, Ligia Maria [1 ]
Julia, Stephane [1 ]
机构：
[1] Univ Fed Uberlandia, Fac Comp, BR-38400902 Uberlandia, MG, Brazil
来源：
2009 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN AND CYBERNETICS (SMC 2009), VOLS 1-9 | 2009年
关键词：
Petri net; Linear logic; WorkFlow net; Soundness; PETRI NETS;
D O I：
10.1109/ICSMC.2009.5346601
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents a method for the qualitative analysis of WorkFlow nets based on the proof trees of linear logic. The analysis is concerned with the proof of the correctness criterion Soundness defined for WorkFlow nets. To prove the Soundness property, a proof tree of linear logic is built for each different scenario of the WorkFlow net. Based on this approach, a method is proposed to verify in linear time if the WorkFlow net is sound.
引用
收藏
页码：2843 / 2847
页数：5
相关论文
共 50 条
  • [21] Soundness and separability of workflow nets in the stepwise refinement approach
    van Hee, K
    Sidorova, N
    Voorhoeve, M
    APPLICATIONS AND THEORY OF PETRI NETS 2003, PROCEEDINGS, 2003, 2679 : 337 - 356
  • [22] Soundness for Resource-Constrained Workflow Nets Is Decidable
    Sidorova, Natalia
    Stahl, Christian
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2013, 43 (03): : 724 - 729
  • [23] Compositional verification for workflow nets
    Jiao, Li
    Cheung, To-Yat
    JOURNAL OF CIRCUITS SYSTEMS AND COMPUTERS, 2006, 15 (04) : 551 - 570
  • [24] The Reversible Released Form of Petri Nets and Its Applications to Soundness of Workflow Nets
    Tiplea, Ferucio Laurentiu
    Leahu, Ioana
    IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2016, 46 (02): : 303 - 312
  • [25] Game Modeling using WorkFlow nets
    de Oliveira, Guilherme Willian
    Julia, Stephane
    Soares Passos, Ligia Maria
    2011 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2011, : 838 - 843
  • [26] Soundness of resource-constrained workflow nets
    van Hee, K
    Serebrenik, A
    Sidorova, N
    Voorhoeve, M
    APPLICATIONS AND THEORY OF PETRI NETS 2005, PROCEEDINGS, 2005, 3536 : 250 - 267
  • [27] A Model Checking Method of Soundness for Acyclic Workflow Nets Using the SPIN Model Checker
    Yamaguchi, Shingo
    Yamaguchi, Munenori
    Tanaka, Minoru
    INFORMATION-AN INTERNATIONAL INTERDISCIPLINARY JOURNAL, 2009, 12 (01): : 163 - 172
  • [28] Soundness in the Basic Composition Patterns of Workflow Nets
    Zhou Huan
    Lin Chuang
    Deng Yiping
    2011 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND NETWORK TECHNOLOGY (ICCSNT), VOLS 1-4, 2012, : 1867 - 1872
  • [29] Soundness Analytics of Composed Logical Workflow Nets
    Wei Liu
    Lu Wang
    Xin Feng
    Man Qi
    Chun Yan
    Maozhen Li
    International Journal of Parallel Programming, 2019, 47 : 709 - 724
  • [30] A Model Checking Method of Soundness for Workflow Nets
    Yamaguchi, Munenori
    Yamaguchi, Shingo
    Tanaka, Minoru
    IEICE TRANSACTIONS ON FUNDAMENTALS OF ELECTRONICS COMMUNICATIONS AND COMPUTER SCIENCES, 2009, E92A (11): : 2723 - 2731
12345