Showing 1 - 4 results of 4 for search 'W. Vatanawood', query time: 0.03s Refine Results
  1. 1
    Dynamic Slicing of Time Petri Net Based on MTL Property

    Dynamic Slicing of Time Petri Net Based on MTL Property by P. Chariyathitipong, W. Vatanawood

    Published 2022-01-01
    Get full text
    Article
  2. 2
    Hierarchical Verification for the BPMN Design Model Using State Space Analysis

    Hierarchical Verification for the BPMN Design Model Using State Space Analysis by C. Dechsupa, W. Vatanawood, A. Thongtak

    Published 2019-01-01
    Get full text
    Article
  3. 3
    Stepwise Verification for the BPMN With Timed and Stochastic Process Using a Colored Generalized Stochastic Petri Net

    Stepwise Verification for the BPMN With Timed and Stochastic Process Using a Colored Generalized Stochastic Petri Net by C. Dechsupa, W. Vatanawood, A. Thongtak

    Published 2022-01-01
    Get full text
    Article
  4. 4
    Transformation of the BPMN Design Model into a Colored Petri Net Using the Partitioning Approach

    Transformation of the BPMN Design Model into a Colored Petri Net Using the Partitioning Approach by C. Dechsupa, W. Vatanawood, A. Thongtak

    Published 2018-01-01
    Get full text
    Article

Search Tools: