2020/06/11 by Silvio Ghilardi, Ghilardi, Silvio, Alessandro Gianola +5 · 1 citation
Business, Management and Accounting · Computer Science · #Artificial Intelligence (cs.AI) #Business Process Modeling and Analysis #FOS: Computer and information sciences #Petri Nets in System Modeling #Service-Oriented Architecture and Web Services
paper · pdf · doi:10.48550/arxiv.2006.06630
openalex publication_date 2020/06/11 · openalex created_date 2022/07/26 · openalex updated_date 2026/07/28
During the last decade, various approaches have been put forward to integrate\nbusiness processes with different types of data. Each of such approaches\nreflects specific demands in the whole process-data integration spectrum. One\nparticular important point is the capability of these approaches to flexibly\naccommodate processes with multiple cases that need to co-evolve. In this work,\nwe introduce and study an extension of coloured Petri nets, called\ncatalog-nets, providing two key features to capture this type of processes. On\nthe one hand, net transitions are equipped with guards that simultaneously\ninspect the content of tokens and query facts stored in a read-only, persistent\ndatabase. On the other hand, such transitions can inject data into tokens by\nextracting relevant values from the database or by generating genuinely fresh\nones. We systematically encode catalog-nets into one of the reference\nframeworks for the (parameterised) verification of data and processes. We show\nthat fresh-value injection is a particularly complex feature to handle, and\ndiscuss strategies to tame it. Finally, we discuss how catalog nets relate to\nwell-known formalisms in this area.\n