Login / Signup
Chanon Dechsupa
ORCID
Publication Activity (10 Years)
Years Active: 2018-2022
Publications (10 Years): 4
Top Topics
Conceptual Model
State Space
Petri Net
Markov Chain
Top Venues
IEEE Access
Comput.
</>
Publications
</>
Chanon Dechsupa
,
Wiwat Vatanawood
,
Arthit Thongtak
Stepwise Verification for the BPMN With Timed and Stochastic Process Using a Colored Generalized Stochastic Petri Net.
IEEE Access
10 (2022)
Chanon Dechsupa
,
Wiwat Vatanawood
,
Worawit Poolsawasdi
,
Arthit Thongtak
An Applying Colored Petri Net for Computerized Accounting System and Ledger Accounts Instruction.
Comput.
10 (12) (2021)
Chanon Dechsupa
,
Wiwat Vatanawood
,
Arthit Thongtak
Hierarchical Verification for the BPMN Design Model Using State Space Analysis.
IEEE Access
7 (2019)
Chanon Dechsupa
,
Wiwat Vatanawood
,
Arthit Thongtak
Transformation of the BPMN Design Model into a Colored Petri Net Using the Partitioning Approach.
IEEE Access
6 (2018)