Enhancing BPMN Simulation through CPN-Light and Modern Tooling

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216275%3A25530%2F25%3A39923475" target="_blank" >RIV/00216275:25530/25:39923475 - isvavai.cz</a>

Výsledek na webu

<a href="https://www.sciencedirect.com/science/article/pii/S1877050925038189" target="_blank" >https://www.sciencedirect.com/science/article/pii/S1877050925038189</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1016/j.procs.2025.12.097" target="_blank" >10.1016/j.procs.2025.12.097</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Enhancing BPMN Simulation through CPN-Light and Modern Tooling

Popis výsledku v původním jazyce

This paper presents a continuation of previous research on the transformation of BPMN models into Colored Petri Nets (CPNs). The prior study introduced the PetriBPMN methodology, which automated the conversion of BPMN-Light models into Colored Petri Nets (CPNs), facilitating process simulations. Building on this foundation, the current research introduces a new subclass of CPN, termed CPN-Light, aimed at enhancing simulation capabilities while maintaining modeling simplicity. CPN-Light introduces a developer-friendly syntax inspired by C#, simplifying formal modeling without compromising analytical depth.Additionally, the paper introduces the ongoing development of a new tool intended as a modern alternative to CPN Tools, which is now out of support, ensuring continued accessibility and usability for process modeling and simulation. The new simulation tool will complement this by enabling simulation, visualization, and debugging of transformed models. Furthermore, BPMN-light models can be annotated and observed directly through synchronized CPN-Light visualizations, significantly enhancing process transparency and simulation feedback.

Název v anglickém jazyce

Enhancing BPMN Simulation through CPN-Light and Modern Tooling

Popis výsledku anglicky

This paper presents a continuation of previous research on the transformation of BPMN models into Colored Petri Nets (CPNs). The prior study introduced the PetriBPMN methodology, which automated the conversion of BPMN-Light models into Colored Petri Nets (CPNs), facilitating process simulations. Building on this foundation, the current research introduces a new subclass of CPN, termed CPN-Light, aimed at enhancing simulation capabilities while maintaining modeling simplicity. CPN-Light introduces a developer-friendly syntax inspired by C#, simplifying formal modeling without compromising analytical depth.Additionally, the paper introduces the ongoing development of a new tool intended as a modern alternative to CPN Tools, which is now out of support, ensuring continued accessibility and usability for process modeling and simulation. The new simulation tool will complement this by enabling simulation, visualization, and debugging of transformed models. Furthermore, BPMN-light models can be annotated and observed directly through synchronized CPN-Light visualizations, significantly enhancing process transparency and simulation feedback.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

—

Návaznosti

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2025

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Procedia Computer Science

ISBN

—

ISSN

1877-0509

e-ISSN

1877-0509

Počet stran výsledku

8

Strana od-do

995-1002

Název nakladatele

Elsevier B.V.

Místo vydání

Amsterdam

Místo konání akce

Fes

Datum konání akce

17. 9. 2025

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—