Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2025)

<Previous Article In Volume
Next Article In Volume>

A Programming Language Type Checking Approach to Workflow Net Verification

Authors
Genio Brylle Viernes1, *
1Department of Computer Science, University of the Philippines Diliman, Diliman, Quezon City, Philippines
*Corresponding author. Email: gcviernes@up.edu.ph
Corresponding Author
Genio Brylle Viernes
Available Online 30 April 2026.
DOI
10.2991/978-94-6239-638-8_7How to use a DOI?
Keywords
Workflow Nets; Programming Languages; Type Systems
Abstract

A workflow net is a computational tool for modeling business processes. Their verification is crucial for ensuring that the processes they model follow a criteria of correctness. In this paper, we observe that workflow net constructs can be mapped to programming language features. This mapping allows the encoding of a workflow net to a simple language with a static semantics based on workflow net semantics. We then make a custom type system for checking this semantics, effectively checking the correctness of the encoded workflow net.

Copyright
© 2026 The Author(s)
Open Access
Open Access This chapter is licensed under the terms of the Creative Commons Attribution-NonCommercial 4.0 International License (http://creativecommons.org/licenses/by-nc/4.0/), which permits any noncommercial use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.

Download article (PDF)

<Previous Article In Volume
Next Article In Volume>
Volume Title
Proceedings of the Workshop on Computation: Theory and Practice (WCTP 2025)
Series
Atlantis Highlights in Computer Sciences
Publication Date
30 April 2026
ISBN
978-94-6239-638-8
ISSN
2589-4900
DOI
10.2991/978-94-6239-638-8_7How to use a DOI?
Copyright
© 2026 The Author(s)
Open Access
Open Access This chapter is licensed under the terms of the Creative Commons Attribution-NonCommercial 4.0 International License (http://creativecommons.org/licenses/by-nc/4.0/), which permits any noncommercial use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.

Cite this article

risenwbib
TY  - CONF
AU  - Genio Brylle Viernes
PY  - 2026
DA  - 2026/04/30
TI  - A Programming Language Type Checking Approach to Workflow Net Verification
BT  - Proceedings of the  Workshop on Computation: Theory and Practice (WCTP 2025)
PB  - Atlantis Press
SP  - 74
EP  - 96
SN  - 2589-4900
UR  - https://doi.org/10.2991/978-94-6239-638-8_7
DO  - 10.2991/978-94-6239-638-8_7
ID  - Viernes2026
ER  -