There and Back Again: On the Reconstructability and Rediscoverability of Typed Jackson Nets

Daniël Barenholz*, Marco Montali, Artem Polyvyanyy, Hajo A. Reijers, Andrey Rivkin, Jan Martijn E. M. van der Werf

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Abstract

A process discovery algorithm aims to construct a model from data generated by historical system executions such that the model describes the system well. Consequently, one desired property of a process discovery algorithm is rediscoverability, which ensures that the algorithm can construct a model that is behaviorally equivalent to the original system. A system often simultaneously executes multiple processes that interact through object manipulations. This paper presents a framework for developing process discovery algorithms for constructing models that describe interacting processes based on typed Jackson Nets that use identifiers to refer to the objects they manipulate. Typed Jackson Nets enjoy the reconstructability property which states that the composition of the processes and the interactions of a decomposed typed Jackson Net yields a model that is bisimilar to the original system. We exploit this property to demonstrate that if a process discovery algorithm ensures rediscoverability, the system of interacting processes is rediscoverable.
Original languageEnglish
Title of host publicationProceedings of the 44th International Conference on Applications and Theory of Petri Nets and Concurrency, PETRI NETS 2023
Volume13929
PublisherSpringer
Publication date2023
Pages37-58
ISBN (Print) 978-3-031-33619-5
ISBN (Electronic)978-3-031-33620-1
DOIs
Publication statusPublished - 2023
Event44th International Conference on Applications and Theory of Petri Nets and Concurrency - Lisbon, Portugal
Duration: 25 Jun 202330 Jun 2023

Conference

Conference44th International Conference on Applications and Theory of Petri Nets and Concurrency
Country/TerritoryPortugal
CityLisbon
Period25/06/202330/06/2023

Fingerprint

Dive into the research topics of 'There and Back Again: On the Reconstructability and Rediscoverability of Typed Jackson Nets'. Together they form a unique fingerprint.

Cite this