Publikace detail

Enhancing BPMN Simulation through CPN-Light and Modern Tooling

Autoři: Le David | Kavička Antonín

Rok: 2025

Druh publikace: článek ve sborníku

Název zdroje: Procedia Computer Science

Název nakladatele: Elsevier B.V.

Místo vydání: Amsterdam

Strana od-do: 995-1002

Tituly:

Jazyk	Název	Abstrakt	Klíčová slova
cze	Zlepšení simulace BPMN pomocí CPN-Light a moderních nástrojů	Tento článek představuje pokračování předchozího výzkumu zaměřeného na transformaci modelů BPMN do barevných Petriho sítí (CPN). Předchozí studie představila metodologii PetriBPMN, která automatizovala převod modelů BPMN-Light do barevných Petriho sítí (CPN) a tím umožnila simulaci procesů. Na tomto základu současný výzkum zavádí novou podtřídu CPN, označovanou jako CPN-Light, jejímž cílem je rozšířit simulační možnosti při zachování jednoduchosti modelování. CPN-Light přináší vývojářsky přívětivou syntaxi inspirovanou jazykem C#, která zjednodušuje formální modelování, aniž by byla narušena analytická hloubka. Článek dále představuje probíhající vývoj nového nástroje, který má sloužit jako moderní alternativa k nástroji CPN Tools, jenž již není podporován, a zajistit tak dlouhodobou dostupnost a použitelnost pro modelování a simulaci procesů. Nový simulační nástroj toto úsilí doplní tím, že umožní simulaci, vizualizaci a ladění transformovaných modelů. Modely BPMN-Light mohou být navíc anotovány a přímo sledovány prostřednictvím synchronizovaných vizualizací CPN-Light, což výrazně zvyšuje transparentnost procesů a kvalitu zpětné vazby ze simulace.	Modelování a notace podnikových procesů;Barevné Petriho sítě;Simulace;C#
eng	Enhancing BPMN Simulation through CPN-Light and Modern Tooling	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.	Business Process Model and Notation;Colored Petri Nets;Simulation;C#

Vyhledávání

Přihlášení pro studenty

Přihlášení pro zaměstnance

Publikace detail

Katedry

Služby

Jak nás najdete?

Často hledáte